Error report driven post-mortem analysis

IEEE International Conference on Program Comprehension

Volumn , Issue , 2007, Pages 208-217

  Zhang, Yi ^a   Iyer, S Purushothaman ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION SEQUENCES; POST-MORTEM ANALYSIS; PROGRAM SLICING; REGULATORY AGENCIES;

COMPUTER SOFTWARE; FAILURE ANALYSIS; PROBLEM SOLVING; PROGRAM ASSEMBLERS; REVIEWS;

ERROR ANALYSIS;

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

References (18)

1. H. Agrawal and J. R. Horgan. Dynamic program slicing. In Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, volume 25, pages 246-256, 1990.
2. P. Anderson, T. Reps, T. Teitelbaum, and M. Zarins. Tool support for fine-grained software inspection. IEEE Software, 20(4):42-50, 2003.
3. D. Binkley, S. Danicic, T. Gyimóthy, M. Harman, A. Kiss, and B. Korel. A formalisation of the relationship between forms of program slicing. Sci. Comput. Program., 62(3):228-252, 2006.
4. D. Binkley and M. Harman. A large-scale empirical study of forward and backward static slice size and context sensitivity. In ICSM '03: Proceedings of the International Conference on Software Maintenance, page 44, 2003.
5. G. Canfora, A. Cimitile, and A. D. Lucia. Conditioned program slicing. In Information and Software Technology Special Issue on Program Slicing, Elsevier Science B. V., volume 40, pages 595-607, 1998.
6. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244-263, 1986.
7. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL'77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 238-252, 1977.
8. D. C. DuVarney and S. P. Iyer. Cwolf - a tool for extracting models from c programs. In Forte/PSTV: International Conference on Formal Techniques for Networked and Distributed Systems, pages 260-275, 2002.
9. S. Graf and H. Saidi. Construction of abstract state graphs with pvs. In CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification, pages 72-83, 1997.
10. H. S. Hong, I. Lee, and O. Sokolsky. Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking. In SCAM '05: Proceedings of the Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05), pages 25-34, 2005.
11. J.Ning, A. Engberts, and W. Kozaczynski. Automated support for legacy code understanding. Commun. ACM, 37(5):50-57, 1994.
12. B. Korel and J. Laski. Dynamic program slicing. Inf. Process. Lett., 29(3):155-163, 1988.
13. M.Robillard and G. Murphy. Concern graphs: finding and describing concerns using structural program dependencies. In ICSE '02: Proceedings of the 24th International Conference on Software Engineering, pages 406-416, 2002.
14. R.Jetley, Y.Zhang, and S.P.Iyer. Using abstraction-driven slicing for postmortem analysis of software. In ICPC '06: Proceedings of the 14th IEEE International Conference on Program Comprehension, pages 107-116. IEEE Computer Society, 2006.
15. S.Chaki, E.Clarke, A.Groce, S.Jha, and H.Veith. Modular verification of software components in c. IEEE Trans. Softw. Eng., 30(6):388-402, 2004.
16. S.Kusumoto, A.Nishimatsu, K.Nishie, and K.Inoue. Experimental evaluation of program slicing for fault localization. Empirical Softw. Eng., 7(1):49-76, 2002.
17. A. von Mayrhauser and A. M. Vans. Program comprehension during software maintenance and evolution. Computer, 28(8):44-55, 1995.
18. M. Weiser. Program slicing. In ICSE '81: Proceedings of the 5th international conference on Software engineering, pages 439-449. IEEE Press, 1981.