Formal program reversing by conditioned slicing

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2003, Pages 368-378

  Villavicencio, G ^a  

^a Universidad Catolica de Santiago del Estero   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULUS PROCESS; CONDITIONED SLICING; FORMAL PROGRAMS; FORMAL SPECIFICATION; LINEAR CALCULATION; OUTPUT VARIABLES; PROGRAM SPECIFICATION; STATIC SLICING;

CALCULATIONS; COMPUTER SOFTWARE MAINTENANCE; REENGINEERING; SPECIFICATIONS;

APPLICATION PROGRAMS;

EID: 6344283408     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2003.1192446     Document Type: Conference Paper

References (42)

1. S. Agerholm and P. G. Larsen. A lightweight to formal methods. In International Worshop on Current Trends in Applied Formal Methods, Springer-Verlag, Boppard, Germany, October 1998.
2. R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor.
3. G. Canfora, A. Cimitile, and A. D. Lucia. Conditioned program slicing. Information and Software Technology (special issue on program slicing), 40(11/12):595-607, 1998.
4. G. Canfora, A. D. Lucia, and M. Munro. An integrated environment for reuse reengineering c code. Journal of Systems and Software, 42:153-164, 1998.
5. B. Cheng and G. Gannod. A two-phase approach to reverse engineering using formal methods. In Formal Methods in Programming and Their Applications. Springer-Verlag, 1993. Lecture Notes in Computer Science.
6. E. Chikofsky and J. H. C. II. Reverse engineering and design recovery: a taxonomy. IEEE Software, 7(1):13-17, 1990.
7. A. Cimitile, A. D. Lucia, and M. C. Munro. A specification driven slicing process for identifying reusable functions. Journal of Software Maintenance: Research and Practice, 8(3):145-178, 1996.
8. S. Danicic, C. Fox, M. Harman, and R. Hierons. Consit: A conditioned program slicer. In 16th IEEE International Conference on Software Maintenance, San Jose, California, USA, October 11-14 2000. IEEE CS Press.
9. D. Daoudi, S. Danicic, J. Howroyd, M. Harman, C. Fox, and M. Ward. Consus: A scalable approach to conditioned slicing. In 9th IEEE Working Conference on Reverse Engineering, Richmond, Virginia, USA, 28 October-1 November 2002. IEEE CS Press.
10. M. F. Erik Meijer and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In Proceedings FPCA'91, March 1991.
11. M. M. Fokkinga. A gentle introduction to category theory: The calculational approach, June 1994.
12. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, 1991.
13. G. Gannod and B. Cheng. Strongest postcondition semantics as the formal basis for reverse engineering. In 1995 Work. Conference on Reverse Engineering, pages 188-197, July 1995.
14. G. Gannod and B. Cheng. Using informal and formal techniques for the reverse engineering of C programs. Technical report, DCS, Michigan State University, 1996.
15. G. Gannod and B. Cheng. A formal apprach for reverse engineering: a case study. In WCRE'99, 1999.
16. G. Gannod and B. H. C. Cheng. Abstraction of formal specifications from program code. In Proceedings of the 3rd IEEE International Conference on Tools for Artificial Intelligence, November 1991.
17. J. Gibbons. An introduction to the bird-meertens formalism. New Zeland Formal Program Development Colloquium Seminar, November 1994.
18. J. Gibbons. Lecture notes on algebraic and co-algebraic methods for calculating functional programs, March 1999.
19. M. Harman and S. Danicic. Amorphous program slicing. In Proceedings of the 5th IEEE Internation Workshop on Program Comprehesion (IWPC'97) (Dearborn, Michigan, USA, May 1997), pages 70-79. IEEE CS Press, Los Alamitos, California, USA, 1997.
20. M. Harman, C. Fox, R. Hierons, D. Binkley, and S. Danicic. Program simplifications as a means of approximating undecidable propositions. In 7th IEEE International Workshop on Program Comprehension, Pittsburgh, Pennsylvania, USA, May 1999.
21. M. Harman, R. Hierons, C. Fox, S. Danicic, and J. Howroyd. Pre/post conditioned slicing. In 17th IEEE International Conference on Software Maintenance, Florence, Italy, November 6-10 2001.
22. R. Hierons and M. Harman. Program analysis and test hypotheses complement. In 22nd IEEE/ACM ICSE, 1st International Workshop on Automated Program Analysis, Testing and Verification, Limerick, Ireland, June 4-5 2000.
23. R. Hierons, M. Harman, C. Fox, L. Ouarbya, and D. Daoudi. Conditioned slicing support partition testing. Journal of Software Testing, Verification and Reliability, 12(1):23-28, 2002.
24. Z. Hu, H. Iwasaki, and M. Takeichi. Catamorphism-based transformation of functional program. Technical report, University of Tokyo, June 1994.
25. IFAD. The ifad vdm-sl language. Technical report, IFAD, Forskerparken 10, DK-5230 Odensen M, Denmark, 1999. http://www. ifad. dk.
26. C. Morgan. Programming from specification. Prentice-Hall International, second edition, October 1998.
27. P. D. Mosses. Fundamental concepts and formal semantics of programming languages. BRICS and Department of Computer Science, University of Aarhus, Denmark, January 2002.
28. F. L. Neves, J. C. Silva, and J. N. Oliveira. Converting informal meta-data to VDM-SL: A reverse calculation approach. In VDM in Practice A Workshop co-located with FM'99: The World Congress on Formal Methods, 20-21 September, Toulouse, France, September 1999.
29. J. Oliveira. An introduction to pointfree programming, 1999. Departamento de Informtica, Universidade do Minho. 37p., chapter of book in preparation.
30. J. N. Oliveira. A reification calculus for model-oriented software specification. Formal aspects on computing, 2(1):1-23, April 1990.
31. J. N. Oliveira. Software reification using the sets calculus. In Proc. of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, pages 140-171, London, UK., 8-10 January 1992. Springer-Verlag. (Invited paper).
32. J. N. Oliveira. Bagatelle in C arranged for VDM SoLo. Journal of Universal Computer Science, 7(8):754-781, 2001. Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas, Institute for Software Technology, Graz University of Technology, May 18-19, 2001).
33. J. N. Oliveira and G. Villavicencio. Reverse program calculation supported by code slicing. In Proceedings of the 8th Working Conference on Reverse Engineering, pages 35-45, Stuttgart, Germany, October 2001.
34. G. A. Venkatesh. The semantic approach to program slicing. In Proceedings of the ACM SIGPLAN '91 Conference on Programming Language Design and Implementation (PLDI), volume 26, pages 107-119, 1991.
35. M. Ward. Proving Program Refinement and Transformation. PhD thesis, Oxford University, 1987.
36. M. Ward and K. H. Bennett. Formal methods to aid the evolution. International Journal of Sofware Engineering and Knowledge Engineering. Special Issue on Sofware Evolution, 5(1):25-47, 1995.
37. M. P. Ward. Abstracting a specification from code. Journal of Software Maintenance: Research and Practice, 5:101-122, 1993.
38. M. P. Ward. Transforming a program into specifications. Technical Report 88-1, Durham University, Jan. 1993.
39. M. P. Ward. Program analysis by formal transformation. The Computer Journal, 39(7), 1996.
40. M. P. Ward. The transformational approach to source code analysis and manipulation. In First International Workshop on Source Code Analysis and Manipulation, Florence, Italy, November 2001. IEEE CS Press.
41. M. P. Ward and K. H. Bennett. A practical program transformation system for reverse engineering. In Working Conference on Reverse Engineering, Baltimore, USA, May 1993. WCRE.
42. M. Weiser. Program slicing. In Fifth International Conference on Software Engineering, San Diego, California, March 1981.