Automated Fault Localization Using Potential Invariants 1
作者： Manos Renieris , Steven P. Reiss , Shriram Krishnamurthi , Brock Pytlik
DOI:
关键词:
摘要: We present a general method for fault localization based on abstracting over program traces, and tool that implements the using Ernst’s notion of potential invariants. Our experiments so far have been unsatisfactory, suggesting further research is needed before invariants can be used to locate faults.
arxiv.org
brown.edu参考文章(5)
Alex Groce, Willem Visser, What went wrong: explaining counterexamples international workshop on model checking software. pp. 121- 136 ,(2003) , 10.1007/3-540-44829-2_8
Sudheendra Hangal, Monica S. Lam, Tracking down software bugs using automatic anomaly detection international conference on software engineering. pp. 291- 301 ,(2002) , 10.1145/581339.581377
Thomas Ostrand, Tarak Goradia, Monica Hutchins, Herb Foster, Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria international conference on software engineering. pp. 191- 200 ,(1994) , 10.5555/257734.257766
Mary Jean Harrold, Gregg Rothermel, Rui Wu, Liu Yi, An empirical investigation of program spectra workshop on program analysis for software tools and engineering. ,vol. 33, pp. 83- 90 ,(1998) , 10.1145/277631.277647
M.D. Ernst, J. Cockrell, W.G. Griswold, D. Notkin, Dynamically discovering likely program invariants to support program evolution IEEE Transactions on Software Engineering. ,vol. 27, pp. 99- 123 ,(2001) , 10.1109/32.908957