Reference: Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, and Javier Esparza. jMoped: A test environment for Java programs. In Proceedings of CAV 2007, July 2007. Tool paper. To appear. Suggested BibTeX entry: @inproceedings{SBSE07,     author = {Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza},     booktitle = {Proceedings of CAV 2007},     month = {July},     note = {Tool paper. To appear},     title = {{jMoped}: A Test Environment for {Java} programs},     year = {2007} }

This work is not available online here.