Pre/post conditioned slicing

IEEE International Conference on Software Maintenance, ICSM

Volumn , Issue , 2001, Pages 138-147

  Harman, Mark ^a   Hierons, Rob ^a   Fox, Chris ^b   Danicic, Sebastian ^c   Howroyd, John ^c  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b KING'S COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Conditioned program slicing; Pre and post conditions; Program comprehension

Indexed keywords

POST CONDITIONED PROGRAM SLICING; PRE CONDITIONED PROGRAM SLICING; PROGRAM COMPREHENSION;

COMPUTER SOFTWARE REUSABILITY; DATA FLOW ANALYSIS; KNOWLEDGE BASED SYSTEMS; PROGRAM DIAGNOSTICS; REENGINEERING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 77956617375     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.2001.972724     Document Type: Conference Paper

References (48)

1. Agrawal, H., and Horgan, J. R. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation (New York, June 1990), pp. 246-256.
2. Aho, A. V., Sethi, R., and Ullman, J. D. Compilers: Principles, techniques and tools. Addison Wesley, 1986.
3. Apt K. R. Ten years of hoare's logic: A survey - Part. ACM Transactions on Programming Languages and Systems 3, 4 (Oct. 1981), 431-483.
4. Barrett, C.; Dill, D., and Levitt, J. Validity checking for combinations of theories with equality. In Formal Methods In Computer-Aided Design (November 1996), M. Srivas and A. Camilleri, Eds., vol. 1166 of Lecture Notes in Computer Science, Springer-Verlag, pp. 187-201. Palo Alto, California, November 6-8.
5. Binkley, D. W. The application of program slicing to regression testing. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Galagher, Eds., vol. 40. Elsevier, 1998, pp. 583-594.
6. Bourdoncle, F. Abstract debugging of higher-order imperative languages. In SIGPLAN '93 Conference on Programming Language Design and Implementation (1993), pp. 46-55.
7. Canfora, G., Cimitile, A., and De Lucia, A. Conditioned program slicing. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier Science B. V., 1998, pp. 595-607.
8. Canfora, G., Cimitile, A., De Lucia, A., and Lucca, G. A. D. Software salvaging based on conditions. In International Conference on Software Maintenance (ICSM'96) (Victoria, Canada, Sept. 1994), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 424-433.
9. Canfora, G., Cimitile, A., Lucia, A. D., and Lucca, G. A. D. Decomposing legacy programs: A first step towards migrating to client-server platforms. In 6th IEEE International Workshop on Program Comprehension (Ischia, Italy, June 1998), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 136-144.
10. Canfora, G., Lucia, A. D., and Munro, M. An integrated environment for reuse reengineering C code. Journal of Systems and Software 42 (1998), 153-164.
11. Chan, W., Anderson, R. J., Beame, P., Burns, S., Modugno, F., and Notkin, D. Model checking large software specifications. IEEE Transactions on Software Engineering 24 (1998), 498-519.
12. Cifuentes, C., and Fraboulet, A. Intraprocedural static slicing of binary executables. In IEEE International Conference on Software Maintenance (ICSM'97) (1997), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 188-195.
13. Comuzzi, J. J., and Hart, J. M. Program Slicing using Weakest Preconditions. In FME '96: Industrial Benefit and Advances in Formal Methods (Oxford, Mar. 1996), J. W. M.-C. Gaudel, Ed., vol. 1051 of LNCS, Springer Verlag, pp. 557-575.
14. Danicic, S., Fox, C., Harman, M., and Hierons, R. M. ConSIT: A conditioned program slicer. In IEEE International Conference on Software Maintenance (ICSM'00) (San Jose, California, USA, Oct. 2000), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 216-226.
15. De Lucia, A., Fasolino, A. R., and Munro, M. Understanding function behaviours through program slicing. In 4th IEEE Workshop on Program Comprehension (Berlin, Germany, Mar. 1996), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 9-18.
16. Dijkstra, E. W. A discipline of programming Prentice Hall, 1972.
17. Fischer, B., Kievernagel, M., and Snelting, G. Deduction-based software component retrieval. In IJCAI95 Workshop on formal Approaches to the Reuse of Plans, Proofs, and Programs (1995).
18. Floyd, R. W. Assigning meanings to programs. In Mathematical Aspects of Computer Science, vol. 19 of Symposia in Applied Mathematics. American Mathematical Society, Providence, RI, 1967, pp. 19-32.
19. Fox, C., Harman, M., Hierons, R. M., and Danicic, S. Backward conditioning: a new program specialisation technique and its application to program comprehension. In 9th IEEE International Workshop on Program Comprehension (IWPC'01) (Toronto, Canada, May 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 89-97.
20. Gallagher, K. B. Evaluating the surgeon's assistant: Results of a pilot study. In Proceedings of the International Conference on Software Maintenance (Nov. 1992), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 236-244.
21. Gallagher, K. B., and Lyle, J. R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering 17, 8 (Aug. 1991), 751-761.
22. Harel, D., and Politi, M. Modeling reactive systems with statecharts: the STATEMATE approach. McGraw-Hill, 1998.
23. Harman, M., and Danicic, S. Using program slicing to simplify testing. Software Testing, Verification and Reliability 5, 3 (Sept. 1995), 143-162.
24. Harman, M., and Danicic, S. Amorphous program slicing. In 5th IEEE International Workshop on Program Comprehension (IWPC'97) (Dearborn, Michigan, USA, May 1997), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 70-79.
25. Harman, M., Fox, C., Hierons, R. M., Binkley, D., and Danicic, S. Program simplification as a means of approximating undecidable propositions. In 7th IEEE International Workshop on Program Comprehesion (IWPC'99) (Pittsburgh, Pennsylvania, USA, May 1999), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 208-217.
26. Harman, M., Sivagurunathan, Y., and Danicic, S. Analysis of dynamic memory access using amorphous slicing. In IEEE International Conference on Software Maintenance (ICSM'98) (Bethesda, Maryland, USA, Nov. 1998), IEEE Computer Society Press, Los Alaminos, California, USA, pp. 336-345.
27. Hierons, R. M., Harman, M., and Danicic, S. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability 9, 4 (1999), 233-262.
28. Hoare, C. A. R. An Axiomatic Basis of Computer Programming. Communications of the ACM 12 (1969), 576-580.
29. Hoare, C. A. R., and Wirth, N. An axiomatic definition of the programming language Pascal. Acta Informatica 2, 4 (Dec. 1973), 335-355.
30. Holzmann, G. J. The model checker SPIN. IEEE Transactions on Software Engineering 23 (1997), 279-295.
31. Horwitz, S., Prins, J., and Reps, T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), 345-387.
32. Horwitz, S., Reps, T., and Binkley, D. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12, 1 (1990), 26-61.
33. Kamkar, M. Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1993. Available as Linköping Studies in Science and Technology, Dissertations, Number 297.
34. Katz, S., Richter, C. A., and The, K.-S. PARIS: A system for reusing partially interpreted schemas. In Proceedings of the 9th International Conference on Software Engineering (1987), IEEE Computer Society Press, pp. 377-385.
35. Korel, B., and Laski, J. Dynamic program slicing. Information Processing Letters 29, 3 (Oct. 1988), 155-163.
36. Lakhotia, A., and Deprez, J.-C. Restructuring programs by tucking statements into functions. In Information and Software Technology Special Issue on Program Slicing, M. Harman and K. Gallagher, Eds., vol. 40. Elsevier, 1998, pp. 677-689.
37. Lyle, J. R., and Weiser, M. Automatic program bug location by program slicing. In 2nd International Conference on Computers and Applications (Peking, 1987), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 877-882.
38. Mili, A., Mili, R., and Mittermier, R. T. A survey of software reuse libraries. Annals of Software Engineering 5 (1998), 349-414. Systematic Software Reuse.
39. Mili, R., Mili, A., and Mittermeir, R. T. Storing and retrieving software components: A refinement based system. IEEE Transactions on Software Engineering 23, 7 (July 1997), 445-460.
40. Nigel Tracey, John Clark, K. M., and McDermid, J. Automated test-data generation for exception conditions. 61-79.
41. Ozdemir, K., and Ural, H. Protocol validation by simultaneous reachability analysis. Computer Communications 20 (1997), 772-788.
42. Paulson, L. C. Isabelle: A generic theorem prover. Lecture Notes in Computer Science 828 (1994), xvii + 321.
43. Paulson, L. C. Strategic principles in the design of Isabelle. In CADE-15 Workshop on Strategies in Automated Deduction (Lindau, Germany, 1998), pp. 11-17.
44. Penix, J., Baraona, P., and Alexander, P. Classification and retrieval of reusable components using semantic features. In Proceedings: 10th Knowledge-Based Software Engineering Conference (1995), IEEE Computer Society Press, pp. 131-138.
45. Perry, D. E. The Inscape Environment. In Proceedings: 11th International Conference on Software Engineering (1989), IEEE Computer Society Press / ACM Press, pp. 2-11.
46. Rollins, E. J., and Wing, J. M. Specifications as search keys for software libraries. In Proceedings of the 8th International Conference on Logic Programming (June 1991), K. Furukawa, Ed., MIT Press, pp. 173-187.
47. Rosenblum, D. S. A practical approach to programming with assertions. IEEE Transactions on Software Engineering 21, 1 (Jan. 1995), 19-31.
48. Weiser, M. Program slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.