Checking Java Assertions Using Automated Test-Case Generation
- First Online:
- Cite this paper as:
- Caballero R., Montenegro M., Kuchen H., von Hof V. (2015) Checking Java Assertions Using Automated Test-Case Generation. In: Falaschi M. (eds) Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, vol 9527. Springer, Cham
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.