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.
CITATION STYLE
Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Checking Java assertions using automated test-case generation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9527, pp. 221–226). Springer Verlag. https://doi.org/10.1007/978-3-319-27436-2_13
Mendeley helps you to discover research relevant for your work.