Isolating cause-effect chains from computer programs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2002, Pages 1-10

  Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Automated debugging; Program comprehension; Testing; Tracing

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; PROGRAM COMPILERS; PROGRAM DIAGNOSTICS;

AUTOMATED DEBUGGING; CAUSE-EFFECT CHAINS; PROGRAM COMPREHENSION; PROGRAM TESTING; PROGRAM TRACING; REGISTER TRANSFER LEVEL;

PROGRAM DEBUGGING;

EID: 0037672303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/587051.587053     Document Type: Conference Paper

References (22)

1. AskIgor web site. http://www.askigor.org/.
2. Delta debugging web site. http://www.st.cs.uni-sb.de/dd/.
3. H. Agrawal and J. R. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation (PLDI), volume 25(6) of ACM SIGPLAN Notices, 246-256, White Plains, New York, June 1990.
4. H. G. Barrow and R. M. Burstall. Subgraph isomorphism, matching relational structures and maximal cliques. Information Processing Letters, 4(4):83-84, 1976.
5. C. Bron and J. Kerbosch. Algorithm 457-Finding all cliques of an undirected graph. Communications of the ACM, 16(9): 575-577, 1973.
6. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1-25, Feb 2001.
7. T. Gyimóthy, Á. Beszédes, and I. Forgács. An efficient relevant slicing method for debugging. In Proc. ESEC/FSE'99 - 7th European Software Engineering Conference / 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687 of LNCS, pages 303-321, Toulouse, France, Sept. 1999. Springer-Verlag.
8. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE 2002.
9. M. Hind and A. Pioli. Which pointer analysis should I use? In Proc. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), pages 113-123, Portland, Oregon, Aug. 2000.
10. Proc. International Conference on Software Engineering (ICSE), Orlando, Florida, May 2002.
11. D. Jackson and E. J. Rollins. A new model of program dependences for reverse engineering. In Proc. 2nd ACM SIGSOFT symposium on the Foundations of Software Engineering (FSE-2), pages 2-10, New Orleans, Louisiana, Dec. 1994.
12. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE 2002.
13. B. Korel and J. Laski. Dynamic slicing of computer programs. The Journal of Systems and Software. 13(3): 187-195. Nov. 1990.
14. J. R. Lyle and M. Weiser. Automatic program bug location by program slicing. In 2nd International Conference on Computers and Applications, 877-882. Peking, 1987. IEEE Computer Society Press, Los Alamitos, California.
15. B. G. Ryder and F. Tip. Change impact analysis for object-oriented programs. In Proc. of the Workshop on Program Analysis for Software Tools and Engineering (PASTE), pages 46-53, Snowbird, Utah, June 2001.
16. E. Y. Shapiro, Algorithmic Program Debugging. PhD thesis, MIT Press, 1982. ACM Distinguished Dissertation.
17. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3): 121-189, Sept. 1995.
18. M. Weiser. Programmers use slices when debugging. Communications of the ACM, 25(7):446-452, 1982.
19. D. B. Whalley. Automatic isolation of compiler errors. ACM Trans. Prog. Lang. Syst., 16(5): 1648-1659, 1994.
20. A. Zeller. Automated Debugging. Morgan Kaufmann Publishers, Aug 2003. To appear (ISBN 1-55860-866-4).
21. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering, 28(2): 183-200, Feb. 2002.
22. T. Zimmermann and A. Zeller. Visualizing memory graphs. In S. Diehl, editor. Proc. of the International Dagstuhl Seminar on Software Visualization, volume 2269 of LNCS, 191-204. Springer-Verlag, 2002.