jMoped: A Test Environment for Java Programs (Tool Paper)
Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza · 2007
We present jMoped [1], a test environment for Java programs. Given a Java method, jMoped can simulate its execution for all possible arguments within a finite range and generate coverage information for these executions. Moreover, it checks for some common Java errors, i.e. assertion violations, null pointer