Abstract slicing: A new approach to program slicing based on abstract interpretation and model checking

Proceedings - Fifth IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2005

Volumn , Issue , 2005, Pages 25-34

  Hong, Hyoung Seok ^a   Lee, Insup ^b   Sokolsky, Oleg ^b  

^a Concordia University ^*  (Canada)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; CONSTRAINT THEORY; GRAPH THEORY; MATHEMATICAL MODELS;

ABSTRACT INTERPRETATION; ABSTRACT SLICING; COMPUTATION ENGINE; MODEL CHECKING;

SOFTWARE ENGINEERING;

EID: 33749402978     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAM.2005.2     Document Type: Conference Paper

References (35)

1. H. Agrawal and J.R. Horgan, "Dynamic Program Slicing," Proc. of the ACM Conference on Programming Language Design and Implementation, pp. 246-256, 1990.
2. T. Ball and S.K. Rajamani, "Automatically Validating Temporal Safety Properties of Interfaces," SPIN '01, Vol. 2057 of LNCS, pp. 103-122, Springer, 2001.
3. F. Belina and D. Hogrefe, "The CCITT-Specification and Description Language SDL," Computer Networks and ISDN Systems, 16(3):311-341, Mar. 1989.
4. D.W. Binkley and K.B. Gallagher, "Program Slicing," Advances in Computing, 43:1-50, Academic Press, 1996.
5. M. Bozga, J-.C. Fernandez, and L. Ghirvu, "Using Static Analysis to Improve Automatic Test Generation," International Journal on Software Tools for Technology Transfer, 4(2): 142-152, Feb. 2003.
6. G. Canfora, A. Cimitile, and A. De Lucia, "Conditioned Program Slicing," Information and Software Technology, 40(11/12):595-607, Dec. 1998.
7. S. Chaki, E.M. Clarke, A. Groce, S. Jha, and H. Veith, "Modular Verification of Software Components in C," IEEE Transactions on Software Engineering, 30(6):388-402, June 2004.
8. A. Cimatti, E.M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, "NuSMV 2: An OpenSource Tool for Symbolic Model Checking," CAV '02, Vol. 2404 of LNCS, pp. 359-364, Springer, 2002.
9. E.M. Clarke, O. Grumberg, and D.A. Peled, Model Checking. The MIT Press, 1999.
10. P. Cousot and R. Cousot, "Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints," Proc. of the ACM Symposium on Principles of Programming Languages, pp. 238-252, 1977.
11. S. Danicic, C. Fox, M. Harman, and R.M. Hierons, "Backward Conditioning: A New Program Specialisation Technique and its Application to Program Comprehension," Proc. of the IEEE Workshop on Program Comprehension, pp. 89-97, 2001.
12. A. De Lucia, "Program Slicing: Methods and Applications," Proc. of the IEEE Workshop on Source Code Analysis and Manipulation, pp. 142-149, 2001.
13. E.A. Emerson, "Temporal and Modal Logic," Handbook of Theoretical Computer Science, Vol. B, Ch. 16, pp. 995-1072, MIT Press, 1990.
14. S. Graf and H. Saidi, "Construction of Abstract State Graphs with PVS," CAV '97, Vol. 1254 of LNCS, pp. 72-83, Springer, 1997.
15. R. Gupta, M.L. Soffa, and J. Howard, "Hybrid Slicing: Integrating Dynamic Information with Static Analysis," ACM Transactions on Software Engineering and Methodology, 6(4):370-397, Oct. 1997.
16. R.J. Hall, "Automatic Extraction of Executable Program Subsets by Simultaneous Program Slicing," Journal of Automated Software Engineering, 2(1):33-53, 1995.
17. D. Harel, "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming, 8(3):231-274, June 1987.
18. M. Harman, R.M. Hierons, C. Fox, S. Danicic, and J. Howroyd, "Pre/Post Conditioned Slicing," Proc. of the IEEE International Conference on Software Maintenance, pp. 138-147, 2001.
19. J. Hatcliff, J. Corbett, M. Dwyer, S. Sokolowski, H. Zheng, "A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives," SAS '99, Vol. 1694 of LNCS, pp. 1-18, Springer, 1999.
20. T.A. Henzinger, R. Jhala, R. Majumdar and G. Sutre "Lazy Abstraction," Proc. of the ACM Symposium on Principles of Programming Languages, pp. 58-70, 2002.
21. S. Horowitz, T. Reps, and D.W. Binkley, "Interprocedural Slicing Using Dependence Graphs," ACM Transactions on Programming Languages and Systems, 12(1):26-60, Jan. 1990.
22. D. Jackson and E.J. Rollins, "A New Model of Program Dependences for Reverse Engineering," Proc. of the ACM Symposium on the Foundations of Software Engineering, pp. 2-10, 1994.
23. D. Jackson and M. Vaziri, "Finding Bugs with a Constraint Solver," Proc. of the ACM International Symposium on Software Testing and Analysis, pp. 14-25, 2000.
24. B. Korel and J. Laski, "Dynamic Program Sling," Information Processing Letters, 29(3):155-163, Oct. 1988.
25. D. Kozen, "Results on the Prepositional Mu-calculus," Theoretical Computer Science, 27(3):333-354, 1983.
26. J. Krinke and G. Snelting, "Validation of Measurement Software as An Application of Slicing and Constraint Solving," Information and Software Technology, 40(11/12):661-676, Dec. 1998.
27. S. Khursid, C. Pasareanu, and W. Visser, "Generalized Symbolic Execution for Model Checking and Testing," TACAS '03, Vol. 2619 of LNCS, pp. 553-568, Springer, 2003.
28. K.L. McMillan, Symbolic Model Checking - an Approach to the State Explosion Problem, Kluwer Academic Publishers, 1993.
29. K. Ottenstein and L. Ottenstein, "The Program Dependence Graph in A Software Development Environment," Proc. of the ACM Symposium on Practical Software Development Environments, pp. 177-184, 1984.
30. A. Podgurski and L.A. Clarke, "A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance," IEEE Transactions on Software Engineering, 16(9):965-979, Sept. 1990.
31. T. Reps and G. Rosay, "Precise Interprocedural Chopping," Proc. of the ACM Symposium on Foundations of Software Engineering, pp. 41-52, 1995.
32. D.A. Schmidt and B. Steffen, "Program Analysis as Model Checking of Abstract Interpretations," SAS '98, Vol. 1503 of LNCS, pp. 351-380, Springer, 1998.
33. F. Tip, "A Survey of Program Slicing Techniques," Journal of Programming Languages, 3(3):121-189, Sept. 1995.
34. G.A. Venkatesh, "The Semantic Approach to Program Slicing," ACM SIGPLAN Notices, 26(6):107-119, 1991.
35. M. Weiser, "Program Slicing," IEEE Transactions on Software Engineering, SE-10(4):352-357, July 1984.