Checking Java Assertions Using Automated Test-Case Generation
Caballero R, Montenegro M, Kuchen H, von Hof V
Abstract
We present a technique for checking the validity of Java assertions using an arbitrary automated test-case generator. Our framework transforms the program by introducing code that detects whether the assertion conditions are met by every direct and indirect method call within a certain depth level. Then, any automated test-case generator can be used to look for input examples that falsify the conditions. We show by means of experimental results the effectiveness of our proposal.
Keywords
Assertions; Conditions; Java; Test-case generation; Test-cases
Publication type
Research article in proceedings (conference)
Peer reviewed
Yes
Publication status
Published
Year
2015
Conference
25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015
Venue
Sienna, Italien
Start page
221
End page
226
Volume
9527
Title of series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher
Springer Verlag
Language
English
ISSN
0302-9743
ISBN
9783319274355
DOI
Full text