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].

• Type: Conference
• Year: 2005
• Where: TACAS
• Authors: Dejvuth Suwimonteerabuth, Stefan Schwoon, Javier Esparza
• Keywords: Algorithms, Java Bytecodes, Java Programs, Symbolic Pushdown Systems, TACAS 2005