Bridging the gap between slicing and model-based diagnosis

20th International Conference on Software Engineering and Knowledge Engineering, SEKE 2008

Volumn , Issue , 2008, Pages 836-841

  Wotawa, Franz ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAM SLICING; DYNAMIC SLICING; FAULT LOCALIZATION; HITTING SETS; MODEL BASED DIAGNOSIS; PROGRAM SLICING; SOFTWARE ENGINEERING PROCESS;

KNOWLEDGE ENGINEERING;

SOFTWARE ENGINEERING;

EID: 77958175019     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Richard A. DeMillo, Hsin Pan, and Eugene H. Spafford. Critical slicing for software fault localization. In International Symposium on Software Testing and Analysis (ISSTA), pages 121-134, 1996.
2. Jeanne Ferrante, Karl J. Ottenstein, and Joe D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, 1987.
3. Gerhard Friedrich, Markus Stumptner, and Franz Wotawa. Model-based diagnosis of hardware designs. Artificial Intelligence, 111(2):3-39, July 1999.
4. Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence, 41(1):79- 88, 1989.
5. Neelam Gupta, Haifeng He, Xiangyu Zhang, and Rajiv Gupta. Locating faulty code using failure-inducing chops. In Automated Software Engineering (ASE), pages 263-272, November 2005.
6. Susan Horwitz, Thomas Reps, and David Binkley. Interprocedural Slicing Using Dependency Graphs. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, pages 35-46, Atlanta, Georgia, 1988.
7. Mariam Kamkar. An overview and comparative classification of program slicing techniques. J. Systems Software, 31:197-214, 1995.
8. Mariam Kamkar. Application of program slicing in algorithmic debugging. Information and Software Technology, 40:637-645, 1998.
9. Bogdan Korel and Janusz Laski. Dynamic Program Slicing. Information Processing Letters, 29:155-163, 1988.
10. Jens Krinke. Advanced slicing of sequential and concurrent programs. In 20th International Conference on Software Maintenance. IEEE, 2004.
11. Shinji Kusumoto, Akira Nishimatsu, Keisuke Nishie, and Katsuro Inoue. Experimental evaluation of program slicing for fault localization. Empirical Software Engineering, 7:49-76, 2002.
12. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
13. Nahid Shahmehri, Mariam Kamkar, and Peter Fritzson. Usability criteria for automated debugging systems. J. Systems Software, 31:55-70, 1995.
14. Frank Tip. A Survey of Program Slicing Techniques. Journal of Programming Languages, 3(3):121-189, September 1995.
15. Mark Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, July 1982.
16. Mark Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, July 1984.
17. Franz Wotawa. On the Relationship between Model- Based Debugging and Program Slicing. Artificial Intelligence, 135(1-2):124-143, 2002.
18. Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2), feb 2002.
19. Xiangyu Zhang, Haifeng He, Neelam Gupta, and Rajiv Gupta. Experimental evaluation of using dynamic slices for fault localization. In Sixth International Symposium on Automated & Analysis-Driven Debugging (AADEBUG), pages 33-42, 2005.