摘要: … states of a failing and a passing run, we can identify the state differences that cause the failure. … Thus, we not only know that a test has failed, but also why and where it failed—in terms of …
core.ac.uk
acm.org
txstate.edu 参考文章(18)
Alex Groce, Error Explanation with Distance Metrics tools and algorithms for construction and analysis of systems. pp. 108- 122 ,(2004) , 10.1007/978-3-540-24730-2_8
Thomas Zimmermann, Andreas Zeller, Visualizing Memory Graphs software visualization. pp. 191- 204 ,(2001) , 10.1007/3-540-45875-1_15
Andreas Zeller, Why Programs Fail: A Guide to Systematic Debugging Morgan Kaufmann Publishers Inc.. ,(2005)
Hiralal Agrawal, Joseph R. Horgan, Dynamic program slicing programming language design and implementation. ,vol. 25, pp. 246- 256 ,(1990) , 10.1145/93542.93576
Bogdan Korel, Janusz Laski, Dynamic slicing of computer programs Journal of Systems and Software. ,vol. 13, pp. 187- 195 ,(1990) , 10.1016/0164-1212(90)90094-3
J.M. Voas, PIE: a dynamic failure-based technique IEEE Transactions on Software Engineering. ,vol. 18, pp. 717- 727 ,(1992) , 10.1109/32.153381
Andreas Zeller, Isolating cause-effect chains from computer programs Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '02/FSE 10. ,vol. 27, pp. 1- 10 ,(2002) , 10.1145/587051.587053
Manos Renieris, Steven P. Reiss, Shriram Krishnamurthi, Brock Pytlik, Automated Fault Localization Using Potential Invariants 1 arXiv: Software Engineering. ,(2003)
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, Kent Sayre, Rui Wu, Liu Yi, An empirical investigation of the relationship between spectra differences and regression faults Software Testing, Verification & Reliability. ,vol. 10, pp. 171- 194 ,(2000) , 10.1002/1099-1689(200009)10:3<171::AID-STVR209>3.0.CO;2-J