Statistical debugging with elastic predicates

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 492-495

  Gore, Ross ^a   Reynolds Jr , Paul F ^a   Kamensky, David ^b  

^a University of Virginia   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

automated debugging; fault localization

Indexed keywords

AUTOMATED DEBUGGING; COMPUTATIONAL MODEL; FAULT LOCALIZATION; FLOATING-POINT COMPUTATION; LOCALIZATION OF SOURCES; SOFTWARE FAILURE; STATISTICAL DEBUGGING; STOCHASTIC DISTRIBUTION;

AUTOMATION; COMPUTER SIMULATION; SOFTWARE ENGINEERING; STOCHASTIC MODELS;

PROGRAM DEBUGGING;

EID: 84855417965     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100107     Document Type: Conference Paper

References (23)

1. B. Liblit, "Cooperative Bug Isolation (Winning Thesis of the 2005 ACM Doctoral Dissertation Competition)," Lecture Notes in Computer Science vol. 4440, 2007.
2. BC Calculator. http://www.gnu.org/software/bc/
3. SIR: Software-artifact Infrastructure Repository. http://sir.unl.edu/ portal/index.html.
4. D. Jeffery, N. Gupta and R. Gupta, "Fault Localization Using Value Replacement," Proc. of Int. Symp. Soft. Testing and Analysis, ACM Press, July, 2008, pp. 167-177.
5. J. A. Jones and M. J. Harrold, "Empirical evaluation of the Tarantula automatic fault-localization technique," Proc. of Int. Conf. on Automated Soft. Engineering, ACM Press, Nov. 2005, pp. 273-282.
6. Financial Quantitative Algorithms. http://www.javaquant.net/
7. K . Detlefsen and W. K . Härdle, "Calibration Risk for Exotic Options," Journal of Derivatives vol. 14, Aug. 2007, pp. 47-63.
8. Directory of Open Source Software for Quantitative Finance & Trading. http://www.quantcode.com
9. S. Mikhailov and U. Nögel. Heston's Stochastic Volatilty Model: Implementation, Calibration, and some Extensions. Wilmott, July 2003, pp. 74-79.
10. QuantLib. http://quantlib.org/index.shtml
11. Bug in um-olsr? http://stackoverflow.com/questions/4190561/bug-inum-olsr- for-ns-2-34
12. ns-2: The Network Simulator. http://is.edu/nsam/ns
13. ns2 Problems. http://www.isi.edu/nsnam/ns/ns-problems.html
14. Simpack Toolkit. http://cise.ufl.edu/~fishwick/simpack.html
15. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff, "SOBER: Statistical model-based bug localization," Proc. of Symp. on Foundations of Soft. Engineering, ACM Press, Sep. 2005, pp. 286-295.
16. R. Abreu, P. Zoeteweij, and A. van Gemund, "On the Accuracy of Spectrum-based Fault Localization," In Proc. of Testing: Acad. and Ind. Conf. Prac. and Res. Tech., IEEE Press, Sept. 2007, pp. 89-98.
17. G. K. Baah, A. Podgurski, and M. J. Harrold, "Causal Inference for Statistical Fault Localization," In Proc. of Int. Symp. on Software Testing and Analysis, ACM Press, July 2010, pp. 73-83.
18. Z. Zhang, W. K. Chan, T. H. Tse, B. Jiang and X. Wang. "Capturing Propagation of Infected Program States," Proc. of Symp. on Foundations of Soft. Engineering, ACM Press, Sep. 2009, pp. 43-52.
19. P. Arumuga Nainar and B. Liblit, "Adaptive bug isolation," Proc. of Int. Conf. on Soft. Engineering, ACM Press, May 2010, pp. 255- 264.
20. P. Arumuga Nainar, T. Chen, J. Rosin, and B. Liblit, "Statistical debugging using compound Boolean predicates," Proc. of Int. Symp. on Soft.Testing and Analysis, ACM Press, July 2007, pp. 5-15.
21. T. M. Chilimbi, B. Liblit, K. K. Mehra, A. V. Nori, and K. Vaswani, "HOLMES: Effective statistical debugging via efficient path profiling,"Proc. of Int. Conf. Soft. Engineering, ACM Press, May 2009, pp. 34-44.
22. Z. Zhang, W. Chan, T. Tse, P. Hu, and X. Wang, "Is non- parametric hypothesis testing model robust for statistical fault localization?" Info. and Soft. Tech. vol. 51, Nov. 2009, pp. 1573-1585.
23. R. Santelices, J. A. Jones, Y. Yu, and M. J. Harrold, "Lightweight fault-localization using multiple coverage types," Proc. of Int. Conf. on Soft. Engineering, ACM Press, May 2009, pp. 56-66.