Building executable union Slices using conditioned slicing

Program Comprehension, Workshop Proceedings

Volumn 12, Issue , 2004, Pages 89-97

  Danicic, Sebastian ^a   De Lucia, Andrea ^b   Harman, Mark ^c  

^a UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY OF SALERNO   (Italy)

^c BRUNEL UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; ALGORITHMS; CODES (SYMBOLS); DATA REDUCTION; INFORMATION ANALYSIS; PROGRAM DEBUGGING; REVERSE ENGINEERING; SET THEORY; THEOREM PROVING;

CONDITIONED SLICING; PROGRAM EXECUTION; PROGRAM SLICING;

PROGRAM PROCESSORS;

EID: 10044231897     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (55)

1. H. Agrawal and J. R. Horgan. Dynamic program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 246-256, New York, June 1990.
2. C. Barrett, D. Dill, and J. Levitt. Validity checking for combinations of theories with equality. In M. Srivas and A. Camilleri, editors, Formal Methods In Computer-Aided Design, volume 1166 of Lecture Notes in Computer Science, pages 187-201. Springer-Verlag, November 1996. Palo Alto, California, November 6-8.
3. A. Beszedes and T. Gyimothy. Union slices for the approximation of the precise slice. In IEEE International Conference on Software Maintenance (ICSM 2002), pages 12-20, Montreal, Canada, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
4. J. M. Bieman and L. M. Ott. Measuring functional cohesion. IEEE Transactions on Software Engineering, 20(8):644-657, Aug. 1994.
5. D. W. Binkley. The application of program slicing to regression testing. In M. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 583-594. Elsevier, 1998.
6. th IEEE International Conference and Software Engineering (ICSE 2003), pages 330-339, Portland, Oregon, USA, May 2003. IEEE Computer Society Press, Los Alamitos, California, USA.
7. D. W. Binkley and M. Harman. A large-scale empirical study of forward and backward static slice size and context sensitivity. In IEEE International Conference on Software Maintenance (ICSM 2003), pages 44-53, Amsterdam, Netherlands, Sept. 2003. IEEE Computer Society Press, Los Alamitos, California, USA.
8. th IEEE International Workshop on Program Comprehension (IWPC 2000), pages 161-170, Limerick, Ireland, June 2000. IEEE Computer Society Press, Los Alamitos, California, USA.
9. D. W. Binkley, S. Horwitz, and T. Reps. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology, 4(1):3-35, 1995.
10. R. S. Boyer and J. S. Moore. Overview of a theorem-prover for A computational logic. In J. H. Siekmann, editor, Proceedings of the 8th International Conference on Automated Deduction, volume 230 of LNCS, pages 675-678, Oxford, UK, July 1986. Springer.
11. G. Canfora, A. Cimitile, and A. De Lucia. Conditioned program slicing. In M. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40, pages 595-607. Elsevier Science B. V., 1998.
12. G. Canfora, A. Cimitile, A. De Lucia, and G. A. D. Lucca. Software salvaging based on conditions. In International Conference on Software Maintenance (ICSM'96), pages 424-433, Victoria, Canada, Sept. 1994. IEEE Computer Society Press, Los Alamitos, California, USA.
13. 2: Reverse engineering and reuse re-engineering. Journal of Software Maintenance : Research and Practice, 6(2):53-72, 1994.
14. G. Canfora, A. De Lucia, and M. Munro. An integrated environment for reuse reengineering C code. Journal of Systems and Software, 42:153-164, 1998.
15. A. Cimitile, A. De Lucia, and M. Munro. Identifying reusable functions using specification driven program slicing: a case study. In Proceedings of the IEEE International Conference on Software Maintenance (ICSM'95), pages 124-133, Nice, France, 1995. IEEE Computer Society Press, Los Alamitos, California, USA.
16. nd working conference on reverse engineering, pages 178-187, Toronto, Canada, 1995. IEEE Computer Society Press, Los Alamitos, California, USA.
17. P. D. Coward. Symbolic execution systems - a review. Software Engineering Journal, 3(6):229-239, Nov. 1988.
18. S. Danicic, C. Fox, M. Harman, and R. M. Hierons. ConSIT: A conditioned program slicer. In IEEE International Conference on Software Maintenance (ICSM'00), pages 216-226, San Jose, California, USA, Oct. 2000. IEEE Computer Society Press, Los Alamitos, California, USA.
19. M. Daoudi, S. Danicic, J. Howroyd, M. Harman, C. Fox, L. Ouarbya, and M. Ward. ConSUS: A scalable approach to conditioned slicing. In IEEE Working Conference on Reverse Engineering (WCRE 2002), pages 109-118, Richmond, Virginia, USA, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA. Invited for special issue of the Journal of Systems and Software as best paper from WCRE 2002.
20. E. W. Dijkstra. A discipline of programming. Prentice Hall, 1972.
21. nd ACM Symposium on Principles of Programming Languages, pages 379-392, San Francisco, CA, 1995.
22. B. Fischer. Specification-based browsing of software component libraries. In Thirteenth International Conference on Automated Software Engineering, pages 74-83. IEEE Computer Society Press, 1998.
23. C. Fox, S. Danicic, M. Harman, and R. M. Hierons. ConSIT: a fully automated conditioned program slicer. Software - Practice and Experience, 34:15-46, 2004. Published online 26th November 2003.
24. th IEEE International Workshop on Program Comprenhesion (IWPC'01), pages 89-97, Toronto, Canada, May 2001. IEEE Computer Society Press, Los Alamitos, California, USA.
25. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, Aug. 1991.
26. Grammatech Inc. The codesurfer slicing system, 2002.
27. R. J. Hall. Automatic extraction of executable program subsets by simultaneous dynamic program slicing. Automated Software Engineering, 2(1):33-53, Mar. 1995.
28. M. Harman and S. Danicic. Using program slicing to simplify testing. Software Testing, Verification and Reliability, 5(3):143-162, Sept. 1995.
29. R. M. Hierons and M. Harman. Testing against non-deterministic stream X-machines. Formal Aspects of Computing, 12:423-442, 2000.
30. R. M. Hierons, M. Harman, and S. Danicic. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4):233-262, 1999.
31. R. M. Hierons, M. Harman, C. Fox, L. Ouarbya, and M. Daoudi. Conditioned slicing supports partition testing. Software Testing, Verification and Reliability, 12:23-28, Mar. 2002.
32. M. Holcombe and F. Ipate. Correct systems - Building and business process solution. Springer, 1998.
33. S. Horwitz, J. Prins, and T. Reps. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-387, July 1989.
34. F. Ipate and M. Holcombe. Generating test sequences from non-deterministic X-machines. Formal Aspects of Computing, to appear.
35. M. Kamkar. 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.
36. G. Kiczales. Aspect oriented programming. ACM SIGPLAN Notices, 32(10):162-162, Oct. 1997. No paper in volume, but table of contents includes an entry for this invited talk.
37. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, July 1976.
38. B. Korel and J. Laski. Dynamic program slicing. Information Processing Letters, 29(3):155-163, Oct. 1988.
39. H. D. Longworth, L. M. Ott, and M. R. Smith. The relationship between program complexity and slice complexity during debugging tasks. In Proceedings of the Computer Software and Applications Conference (COMPSAC'86), pages 383-389, 1986.
40. th European Conference on Software Maintenance and Reengineering, pages 363-367, Benevento, Italy, Mar. 2003. IEEE Computer Society Press, Los Alamitos, California, USA.
41. nd International Conference on Computers and Applications, pages 877-882, Peking, 1987. IEEE Computer Society Press, Los Alamitos, California, USA.
42. th ACM conference on Software Engineering, pages 198-204, May 1989.
43. L. C. Paulson. Isabelle: A generic theorem prover. Lecture Notes in Computer Science, 828:xvii + 321, 1994.
44. T. Reps and W. Yang. The semantics of program slicing. Technical Report Technical Report 777, University of Wisconsin, 1988.
45. th World Multi-Conference on systemics, cybernetics and informatics (SCI 2001). to appear.
46. A. Stump, C. W. Barrett, and D. L. Dill. CVC: a cooperating validity checker. In J. C. Godskesen, editor, Proceedings of the International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, 2002.
47. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, Sept. 1995.
48. G. A. Venkatesh. The semantic approach to program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-28, Toronto, Canada, June 1991. Proceedings in SIGPLAN Notices, 26(6), pp.107-119, 1991.
49. G. A. Venkatesh. The semantic approach to program slicing. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-28, Toronto, Canada, June 1991. Proceedings in SIGPLAN Notices, 26(6), pp.107-119, 1991.
50. M. Ward. Assembler to C migration using the FermaT transformation system. In IEEE International Conference on Software Maintenance (ICSM'99), Oxford, UK, Aug. 1999. IEEE Computer Society Press, Los Alamitos, California, USA.
51. M. Ward, F. W. Calliss, and M. Munro. The maintainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989, page 307. IEEE Computer Society Press, Los Alamitos, California, USA, 1989.
52. M. Weiser. Programmers use slicing when debugging. Communications of the ACM, 25(7):446-452, July 1982.
53. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4):352-357, 1984.
54. N. Wilde, J. Gomez, T. Gust, and D. Strasburg. Locating user functionality in old code. In Proceedings of the IEEE Conference on Software Maintenance, pages 200-205, Orlando, Florida, U.S.A., 1992. IEEE Computer Society Press, Los Alamitos, California, USA.
55. th IEEE International Workshop on Program Comprehension, pages 351-260, Paris, France, June 2002. IEEE Computer Society Press, Los Alamitos, California, USA.