Korat: A tool for generating structurally complex test inputs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 771-774

  Milićević, Aleksandar ^a   Misailović, Saša ^a   Marinov, Darko ^b   Khurshid, Sarfraz ^c  

^a UNIVERSITY OF BELGRADE   (Serbia)

^b UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; STRUCTURAL INTEGRITY;

FINITIZATION; STAND-ALONE APPLICATIONS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548756109     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.48     Document Type: Conference Paper

References (7)

1. 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.
2. S. Chiba. Javassist - a reflection-based programming wizard for Java. In Proceedings of the ACM OOPSLA'98 Workshop on Reflective Programming in C++ and Java, Oct. 1998.
3. M. Dahm. Byte code engineering library. http://bcel. sourceforge.net/.
4. D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
5. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley, 2000.
6. D. Marinov. Automatic Testing of Software with Structurally Complex Inputs. PhD thesis, Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, 2004.
7. J. Offutt and R. Untch. Mutation 2000: Uniting the orthogonal. In Mutation 2000: Mutation Testing in the Twentieth and the Twenty First Centuries, San Jose, CA, Oct. 2000.