Reference:

Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, and Javier Esparza. jMoped: A test environment for Java programs. In Werner Damm and Holger Hermanns, editors, Proceedings of CAV 2007, volume 4590 of Lecture Notes in Computer Science, pages 164–167, Berlin, Germany, July 2007. Springer. Tool paper.

Suggested BibTeX entry:

@inproceedings{SBSE07,
    address = {Berlin, Germany},
    author = {Dejvuth Suwimonteerabuth and Felix Berger and Stefan Schwoon and Javier Esparza},
    booktitle = {Proceedings of CAV 2007},
    editor = {Werner Damm and Holger Hermanns},
    month = {July},
    note = {Tool paper},
    pages = {164--167},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {{jMoped}: A Test Environment for {Java} programs},
    volume = {4590},
    year = {2007}
}