Checking Java Assertions Using Automated Test-Case Generation
Caballero R, Montenegro M, Kuchen H, von Hof V
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.
Assertions; Conditions; Java; Test-case generation; Test-cases