Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - jMoped: A Test Environment for Java programs

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}
}

PDF (280 kB)