jPET: an Automatic Test-Case Generator for Java. We present jPET, a white box test-case generator (TCG) which can be used during software development of Java applications within the Eclipse environment. jPET builds on top of PET, a TCG which automatically obtains test-cases from the byte code associated to a Java program. jPET performs reverse engineering of the test-cases obtained at the byte code level by PET in order to yield this information to the user at the source code level. This allows understanding the information gathered at the lower level and using it to test source Java programs.
Keywords for this software
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
- Caballero, Rafael; Montenegro, Manuel; Kuchen, Herbert; von Hof, Vincent: Checking Java assertions using automated test-case generation (2015)
- Albert, Elvira; Arenas, Puri; Gómez-Zamalloa, Miguel; Rojas, Jose Miguel: Test case generation by symbolic execution: basic concepts, a CLP-based instance, and actor-based concurrency (2014)
- Rojas, José Miguel; Gómez-Zamalloa, Miguel: A framework for guided test case generation in constraint logic programming (2013)