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 the 19th International Conference on Computer Aided Verification (CAV), volume 4590 of Lecture Notes in Computer Science, pages 164–167, Berlin, Germany, July 2007. Springer.

Suggested BibTeX entry:

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