Sciweavers

TACAS
2005
Springer

jMoped: A Java Bytecode Checker Based on Moped

13 years 9 months ago
jMoped: A Java Bytecode Checker Based on Moped
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier E
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TACAS
Authors Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
Comments (0)