Selected publications by Stefan Schwoon

We present jMoped, 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 exceptions, and array bound violations. When an error is found, jMoped finds out the arguments that lead to the error. A JUnit test case can also be automatically generated for further testing.

   address = {Berlin, Germany},
   author = {Suwimonteerabuth, Dejvuth and Berger, Felix and Schwoon, Stefan and Esparza, Javier},
   booktitle = {{P}roceedings of the 19th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'07)},
   DOI = {10.1007/978-3-540-73368-3_19},
   editor = {Damm, Werner and Hermanns, Holger},
   month = jul,
   pages = {164-167},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {j{M}oped: A~Test Environment for {J}ava programs},
   url = {},
   volume = {4590},
   year = {2007},

About LSV