Does testing help to reduce the number of potentially faulty statements in debugging?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6303 LNCS, Issue , 2010, Pages 88-103

  Nica, Mihai ^a   Nica, Simona ^a   Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

Automated debugging; distinguishing test cases; test case generation

Indexed keywords

AUTOMATED DEBUGGING; EMPIRICAL RESULTS; FAULT LOCALIZATION; FORMAL DEFINITION; INPUT VALUES; OUTPUT VALUES; SOFTWARE MAINTENANCE; SOURCE CODES; SPECIFIC KNOWLEDGE; TEST CASE; TEST CASE GENERATION;

AUTOMATION; PROGRAM DEBUGGING;

TESTING;

EID: 78149246559     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15585-7_9     Document Type: Conference Paper

References (24)

1. Wotawa, F., Nica, M., Aichernig, B.K.: Generating distinguishing tests using the minion constraint solver. In: CSTVA 2010: Proceedings of the 2nd Workshop on Constraints for Testing, Verification and Analysis. IEEE, Los Alamitos (2010)
2. Weimer, W., Nguyen, T.V., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: ACM/IEEE International Conference on Software Engineering (ICSE), pp. 512-521 (2009)
3. Debroy, V., Wong, W.E.: Using mutation to automatically suggest fixes for faulty programs. In: Third International Conference on Software Testing, Verification and Validation (ICST 2010). IEEE, Los Alamitos (2010)
4. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
5. Wotawa, F., Peischl, B.: Automated source level error localization in hardware designs. IEEE Design and Test of Computers 23(1), 8-19 (2006) (Pubitemid 43204689)
6. Mayer,W., Abreu, R., Stumptner, M., van Gemund, A.J.: Prioritisingmodel-based debugging diagnostic reports. In: Proceedings of the International Workshop on Principles of Diagnosis (DX) (2009)
7. Abreu, R., Zoeteweij, P., van Gemund, A.J.: On the accuracy of spectrum-based fault localization. In: Proceedings TAIC PART 2007, pp. 89-98. IEEE, Los Alamitos (2006)
8. Mayer, W.: Static and hybrid analysis in model-based debugging. PhD Thesis, School of Computer and Information Science, University of South Australia (2007)
9. Ceballos, R., Gasca, R.M., Valle, C.D., Borrego, D.: Diagnosing errors in dbc programs using constraint programming. In: Marín, R., Onaindía, E., Bugarín, A., Santos, J. (eds.) CAEPIA 2005. LNCS (LNAI), vol. 4177, pp. 200-210. Springer, Heidelberg (2006) (Pubitemid 44609708)
10. Nica, M., Weber, J., Wotawa, F.: How to debug sequential code by means of constraint representation. In: 19th International Workshop on Principles of Diagnosis (DX 2008) (2008)
11. Wotawa, F., Nica, M.: On the compilation of programs into their equivalent constraint representation. Informatika 32, 359-371 (2008)
12. Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast, scalable, constraint solver. In: 17th European Conference on Artificial Intelligence, ECAI 2006 (2006)
13. Ma, Y.S., Offutt, J., Kwon, Y.R.: Mujava: An automated class mutation system. Software Testing, Verification and Reliability 15, 97-133 (2005) (Pubitemid 40858060)
14. Offutt, A.J., Lee, A., Rothermel, G., Untch, R., Zapf, C.: An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering Methodology 5, 99-118 (1996) (Pubitemid 126418670)
15. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
16. Mayer, W., Stumptner, M.: Model-based debugging using multiple abstract models. In: Proceedings of the 5th International Workshop on Automated and Algorithmic Debugging, AADEBUG 2003, pp. 55-70 (2003)
17. Ceballos, R., Nica, M., Weber, J., Wotawa, F.: On the complexity of program debugging using constraints for modeling the program's syntax and semantics. In: Proc. Conference of the Spanish Association for Artificial Intelligence (CAEPIA), Seville, Spain (2009)
18. Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering 28(2) (2002)
19. Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings ASE 2005, pp. 273-282. ACM Press, New York (2005)
20. Abreu, R., Zoeteweij, P., van Gemund, A.J.: Spectrum-based multiple fault localization. In: Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 88-99 (2009)
21. Kusumoto, S., Nishimatsu, A., Nishie, K., Inoue, K.: Experimental evaluation of program slicing for fault localization. Empirical Software Engineering 7, 49-76 (2002) (Pubitemid 34473464)
22. Binkley, D., Harman, M.: A survey of empirical results on program slicing. In: Zelkowitz, M. (ed.) Advances in Software Engineering - Advances in Computers, vol. 62, pp. 106-172. Academic Press Inc., London (2004), citeseer.ist.psu.edu/661032.html
23. Zhang, X., He, H., Gupta, N., Gupta, R.: Experimental evaluation of using dynamic slices for fault localization. In: Sixth International Symposium on Automated & Analysis-Driven Debugging (AADEBUG), pp. 33-42 (2005)
24. Wotawa, F.: Bridging the gap between slicing and model-based diagnosis. In: Proc. of the 20th Intl. Conference on Software Engineering and Knowledge Engineering (SEKE),Knowledge Systems Institute Graduate School, pp. 836-841 (2008)