Slicing the SCAM mug: A case study in semantic slicing

Proceedings - 3rd IEEE International Workshop on Source Code Analysis and Manipulation, SCAM 2003

Volumn , Issue , 2003, Pages 88-97

  Ward, M P ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

Application software; Bibliographies; Computer aided software engineering; Conferences; Debugging; Software maintenance; Software safety; Software testing; State space methods

Indexed keywords

APPLICATION PROGRAMS; BIBLIOGRAPHIES; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER DEBUGGING; COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; SAFETY TESTING; SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING; STATE SPACE METHODS; SYNTACTICS;

CONFERENCES; FORMALISATION; SLICING PROBLEM; SOFTWARE SAFETY;

PROGRAM DEBUGGING;

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

References (18)

1. Anon, "Which Lines do not affect x?," Ceramic Mug given to attendees of the First Source Code Analysis and Manipulation Workshop, Florence, Italy, 10th November (2001).
2. David W. Binkley & Keith Gallagher, "A survey of program slicing," in Advances in Computers, Marvin Zelkowitz, ed., Academic Press, San Diego, CA, 1996.
3. Sebastian Danicic, "Dataflow Minimal Slicing," London University, PhD Thesis, 1999.
4. Mark Harman & Sebastian Danicic, "Amorphous program slicing," 5th IEEE International Workshop on Program Comprehesion (IWPC'97), Dearborn, Michigan, USA (May 1997).
5. Mark Harman, Lin Hu, Malcolm Munro & Xingyuan Zhang, "GUSTT: An Amorphous Slicing System Which Combines Slicing and Transformation," Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01), Los Alamitos, California, USA (2001).
6. Susan Horwitz, Thomas Reps & David Binkley, "Interprocedural slicing using dependence graphs," Trans. Programming Lang. and Syst. 12 (Jan., 1990), 26-60.
7. J. C. Lagarias, "The 3x +1 Problem and Its Generalizations," American Mathematical Monthly 92 (1985), 3-23, 〈http://www.cecm.sfu.ca/organics/papers/lagarias/〉.
8. B. Thwaites, "Two Conjectures, or How to Win £1100," Mathematical Gazette 80 (1996), 35-36.
9. F. Tip, "Generation of Program Analysis Tools," Cantrum voor Wiskunde en Informatica, PhD Thesis, Amsterdam, 1995.
10. F. Tip, "A Survey of Program Slicing Techniques," Journal of Programming Languages, 3 (Sept., 1995), 121-189.
11. M. Ward, "Proving Program Refinements and Transformations," Oxford University, DPhil Thesis, 1989.
12. M. Ward, "The Formal Transformation Approach to Source Code Analysis and Manipulation," IEEE International Workshop on Source Code Analysis and Manipulation Florence, Italy, 10th November, Los Alamitos, California, USA (2001).
13. M. Ward, "Program Slicing via FermaT Transformations," COMPSAC 2002, 26th Annual International Computer Software and Applications Conference, Oxford, England, 26th-29th August, Los Alamitos, California, USA (2002).
14. M. Ward, "Abstracting a Specification from Code," J. Software Maintenance: Research and Practice 5 (June, 1993), 101-122, 〈http://www.dur.ac.uk/~dcs0mpw/martin/papers/prog-spec.ps.gz〉.
15. M. Ward, "A Definition of Abstraction," J. Software Maintenance: Research and Practice 7 (Nov., 1995), 443-450, 〈http://www.dur.ac.uk/~dcs0mpw/martin/papers/abstraction-t.ps.gz〉.
16. M. Ward, "Derivation of Data Intensive Algorithms by Formal Transformation," IEEE Trans. Software Eng. 22 (Sept., 1996), 665-686, 〈http://www.dur.ac.uk/~dcs0mpw/martin/papers/sw-alg.ps.gz〉.
17. M. Weiser, "Program slicing," IEEE Trans. Software Eng. 10 (July, 1984), 352-357.
18. M. Weiser, "Programmers use slices when debugging," Comm. ACM 25 (July, 1984), 352-357.