Using abstraction-driven slicing for postmortem analysis of software

IEEE International Conference on Program Comprehension

Volumn 2006, Issue , 2006, Pages 107-116

  Jetley, Raoul ^a   Zhang, Yi ^a   Iyer, S Purushothaman ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION-DRIVEN STATIC SLICING; COMPLEX REACTIVE SYSTEMS; POST-MORTEM ANALYSIS; SOURCE CODE;

ABSTRACTING; CODES (SYMBOLS); COGNITIVE SYSTEMS; COMPUTER SOFTWARE MAINTENANCE; ERROR ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33845414584     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICPC.2006.50     Document Type: Conference Paper

References (24)

1. H. Agrawal, R. DeMillo, and E. Spafford. Efficient debugging with slicing and backtracking. Technical report, 1990.
2. P. Anderson, T. Reps, T. Teitelbaum, and M. Zarins. Tool support for fine-grained software inspection. IEEE Softw., 20(4):42-50, 2003.
3. J. Bagga and A. Heinz. JGraph - A Java based system for drawing graphs and running graph algorithms. j-LECT-NOTES-COMP-SCI, 2265, 2002.
4. F.-J. Brandenburg, editor. Graph Drawing, Symposium on Graph Drawing, GD '95, Passau, Germany, September 20-22, 1995, Proceedings, volume 1027 of Lecture Notes in Computer Science. Springer, 1996.
5. R. Brooks. Towards a theory of the comprehension of computer programs. International Journal of Man-Machine Studies, 18:543-554, 1983.
6. G. Canfora, A. Cimitile, and A. D. Lucia. Conditioned program slicing. Information and Software Technology special issue on Program Slicing, 40(11-12):595-607, Dec. 1998.
7. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In International Conference on Software Engineering, pages 439-448, 2000.
8. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th POPL, January 1977.
9. P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In POPL, pages 269-282, 1979.
10. S. Danicic, M. Daoudi, C. Fox, M. Harman, R. M. Hierons, J. Howroyd, L. Ouarbya, and M. P. Ward. ConSUS: a light-weight program conditioner. Journal, of Systems and Software, 77(3):241-262, 2005.
11. A. de Lucia, A. R. Fasolino, and M. Munro. Understanding function behaviors through program slicing. In WPC '96: Proceedings of the 4th International Workshop on Program Comprehension (WPC '96), page 9, Washington, DC, USA, 1996. IEEE Computer Society.
12. D. C. DuVarney. Abstraction-Based Generation of Finite State Models from C Programs. PhD thesis, 2002.
13. D. C. DuVarney and S. P. Iyer. C wolf - a toolset for extracting models from c programs. In FORTE '02: Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems, pages 260-275. Springer-Verlag, 2002.
14. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst., 9(3):319-349, 1987.
15. M. Harman and S. Danicic. Amorphous program slicing. In WPC '97: Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), page 70. IEEE Computer Society, 1997.
16. P. Hausler. Denotational program slicing. In the 22nd Annual Hawaii International Conference on System Sciences vol. II, pages 486-495, 1989.
17. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, volume 23, pages 35-46, Atlanta, GA, June 1988.
18. V. Jakobac, A. Egyed, and N. Medvidovic. Improving system understanding via interactive, tailorable, source code analysis. In FASE, pages 253-268, 2005.
19. R. Manevich, M. Sridharan, S. Adams, M. Das, and Z. Yang. Pse: explaining program failures via postmortem static analysis. SIGSOFT Softw. Eng. Notes, 29(6):63-72, 2004.
20. N. Pennington. Comprehension strategies in programming. In G. M. Olson, S. Sheppard, and E. Soloway, editors, Empirical Studies of Programmers: Second Workshop, pages 100-113. Norwood, NJ: Ablex Publishing Company, 1987.
21. S. J. Prowell. Jumbl: A tool for model-based statistical testing. In HICSS '03: Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9, page 337.3, Washington, DC, USA, 2003. IEEE Computer Society.
22. A. von Mayrhauser and A. M. Vans. Program comprehension during software maintenance and evolution. Computer, 28(8):44-55, 1995.
23. M. Weiser. Program slicing. In Proceedings of the 5th International. Conference on Software Engineering, pages 439-449. IEEE Computer Society Press, 1981.
24. B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen. A brief survey of program slicing. SIGSOFT Softw. Eng. Notes, 30(2):1-36, 2005.