Automated testing of refactoring engines

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 185-194

  Daniel, Brett ^a   Dig, Danny ^a   Garcia, Kely ^a   Marinov, Darko ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Automated testing; Bounded exhaustive testing; Imperative generators; Refactoring engines; Test data generation

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING; DATA REDUCTION; JAVA PROGRAMMING LANGUAGE; SEARCH ENGINES; AUTOMATION; COMPUTER PROGRAMMING LANGUAGES; ENGINES; SOFTWARE ENGINEERING; SOFTWARE TESTING; TREES (MATHEMATICS);

AUTOMATED TESTING; BOUNDED-EXHAUSTIVE TESTING; IMPERATIVE GENERATORS; REFACTORING ENGINES; TEST DATA GENERATION;

SOFTWARE TESTING; COMPUTER SOFTWARE;

EID: 37849039293     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287651     Document Type: Conference Paper

References (22)

1. D. S. Batory and S. W. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Sofiw. Eng. Methodol, 1(4):355-398, 1992.
2. F. Bazzichi and I. Spadafora. An automatic generator for compiler testing. IEEE Trans. Software Eng., 8(4):343-353, July 1982.
3. K. Beck. Smalltalk Best Practice Patterns. Prentice Hall, 1997.
4. K. Beck. Extreme Programming Explained: Embrace Change. Addison-Wesley, 2000.
5. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In Proc. International Symposium on Software Testing and Analysis (ISSTA), July 2002.
6. A. Celentano, S. C. Reghizzi, P. D. Vigna, C. Ghezzi, G. Granata, and F. Savoretti. Compiler testing using a sentence generator. Software ?Practice and Experience, 10(11):897-918, 1980.
7. K. Claessen and J. Hughes. Quickcheck: A lightweight tool for random testing of Haskell programs. In Proc. Fifth ACM SIGPLAN International Conference on Functional Programming, 2000.
8. A. G. Duncan and J. S. Hutchison. Using attributed grammars to test designs and implementations. In Proc. of the 5th International Conference on Software Engineering (ICSE), pages 170-178, 1981.
9. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. 1999.
10. E. Gamma and K. Beck. JUnit, 1997. http://www.junit.org.
11. S. Khurshid. Generating Structurally Complex Tests from Declarative Constraints. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2003.
12. S. Khurshid and D. Marinov. TestEra: Specification-based testing of Java programs using SAT. Automated Software Engineering Journal, 2004.
13. R. Lämmel and W Schulte. Controllable combinatorial coverage in grammar-based testing. In TestCom, pages 19-38, 2006.
14. B. A. Malloy and J. F. Power. An interpretation of Purdom's algorithm for automatic generation of test cases. 1st Annual International Conf. on Computer and Information Science, 2001.
15. J. J. Marciniak. Encyclopedia of Software Engineering, chapter Random Testing, pages 1095-1104. Wiley-Interscience, 2001.
16. D. Marinov. Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 2004.
17. P. M. Maurer. Generating test data with enhanced context-free grammars. IEEE Software, 7(4), July 1990.
18. W M. McKeeman. Differential testing for software. Digital Technical Journal, 10(1), 1998.
19. W F. Opdyke and R. E. Johnson. Refactoring: an aid in designing application frameworks and evolving object-oriented systems. In Proc. Symposium on Object-Oriented Programming Emphasizing Practical Applications (SOOPPA), Sept 1990.
20. P. Purdom. A sentence generator for testing parsers. Behavior and Information Technology, 12(3):366-375, 1972.
21. E. G. Sirer and B. N. Bershad. Using production grammars in software testing. In Proc. 2nd conference on Domain-specific languages, 1999.
22. K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson. Software assurance by bounded exhaustive testing. In Proc. International Symposium on Software Testing and Analysis, 2004.