A post-placement side-effect removal algorithm

Conference on Software Maintenance

Volumn , Issue , 2002, Pages 2-11

  Harman, Mark ^a   Hu, Lin ^a   Hierons, Rob ^a   Munro, Malcolm ^b   Zhang, Xingyuan ^b   Dolado, Jose Javier ^c   Otero, Mari Carmen ^c   Wegener, Joachim ^d  

^a BRUNEL UNIVERSITY   (United Kingdom)

^b DURHAM UNIVERSITY   (United Kingdom)

^c UNIVERSITY OF THE BASQUE COUNTRY UPV EHU   (Spain)

^d DAIMLER AG   (Germany)

Author keywords

Program Comprehension; Program Transformation; Side Effects

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); SOFTWARE ENGINEERING;

SIDE-EFFECTS;

COMPUTER SOFTWARE MAINTENANCE;

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

References (28)

1. International standards organisation: Programming languages - C. international standard, ISO/IEC 9899: 1990 (E), Dec. 1990.
2. Aho, A.V., Sethi, R., and Ullman, J.D. Compilers: Principles, techniques and tools. Addison Wesley, 1986.
3. Armitage, P., and Berry, G. Statistical methods in medical research. Macmillan, London, 1994.
4. Bull, T. Software maintenance by program transformation in a wide spectrum language. PhD thesis, University of Durham, UK, School of Engineering and Computer Science, 1994.
5. Cannon, L., Elliott, R., Kirchhoff, L., Miller, J., Milner, J., Mitze, R., Schan, E., Whittington, N., Spencer, H., Keppel, D., and Brader, M. Recommended C style and coding standards, 2000. http://www.cs.umd.edu/users/cml/cstyle/indhill-cstyle.html.
6. Coward, P.D. Symbolic execution systems - A review. Software Engineering Journal 3, 6 (Nov. 1988), 229-239.
7. 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.
8. st IEEE International Workshop on Source Code Analysis and Manipulation (Florence, Italy, 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 142-149.
9. Haahr, P. A programming style for java, Oct. 1999. http://www.webcom.com/̃haahr/essays/java-style/.
10. Harman, M., Hierons, R.M., Danicic, S., Howroyd, J., and Fox, C. Pre/post conditioned slicing. In IEEE International Conference on Software Maintenance (ICSM'01) (Florence, Italy, Nov. 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 138-147.
11. st Workshop on Analysis, Slicing, and Transformation (AST 2001) (Stuttgart, Oct. 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 271-280.
12. th IEEE International Workshop on Program Comprehension (IWPC'01) (Toronto, Canada, May 2001), IEEE Computer Society Press, Los Alamitos, California, USA, pp. 310-319.
13. Harman, M., and Jones, B.F. Search based software engineering. Information and Software Technology 43, 14 (Dec. 2001), 833-839.
14. 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 Alamitos, California, USA, pp. 336-345.
15. Jones, B., Sthamer, H.-H., and Eyres, D. Automatic structural testing using genetic algorithms. The Software Engineering Journal 11 (1996), 299-306.
16. Kernighan, B.W., and Pike, R. The practice of programming. Addison-Wesley Longman, Reading, Massachusetts, 1999.
17. Meyer, B. Object-oriented Software Construction, second ed. Prentice Hall, New York, NY, 1997.
18. Michael, C., McGraw, G., and Schatz, M. Generating software test data by evolution. IEEE Transactions on Software Engineering, 12 (Dec. 2001), 1085-1110.
19. Mueller, F., and Wegener, J. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In 4th IEEE Real-Time Technology and Applications Symposium (RTAS '98) (Washington - Brussels - Tokyo, June 1998), IEEE, pp. 144-154.
20. Pargas, R.P., Harrold, M.J., and Peck, R.R. Test-data generation using genetic algorithms. The Journal of Software Testing, Verification and Reliability 9 (1999), 263-282.
21. Stoy, J.E. Denotational semantics: The Scott-Strachey approach to programming language theory. MIT Press, 1985. Third edition.
22. Thomas, P. Learning to program in C, 2 ed. Plum Hall, Inc., 1989.
23. Tracey, N., Clark, J., and Mander, K. The way forward for unifying dynamic test-case generation: The optimisation-based approach. In International Workshop on Dependable Computing and Its Applications (DCIA) (January 1998), IFIP, pp. 169-180.
24. Ward, M. Reverse engineering through formal transformation. The Computer Journal 37, 5 (1994).
25. Ward, M., Calliss, F.W., and Munro, M. The maintainer's assistant. In Proceedings of the International Conference on Software Maintenance 1989 (1989), IEEE Computer Society Press, Los Alamitos, California, USA, p. 307.
26. Wegener, J., Grimm, K., Grochtmann, M., Sthamer, H., and Jones, B.F. Systematic testing of real-time systems. In 4th International Conference on Software Testing Analysis and Review (EuroSTAR 96) (1996).
27. Wegener, J., Sthamer, H., Jones, B.F., and Eyres, D.E. Testing real-time systems using genetic algorithms. Software Quality 6 (1997), 127-135.
28. Weiser, M. Program slicing. IEEE Transactions on Soft-ware Engineering 10, 4 (1984), 352-357.