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

GZipped PostScript (104 kB)