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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Suwimonteerabuth, D., Schwoon, S., & Esparza, J. (2005). jMoped: A java bytecode checker based on moped. In Lecture Notes in Computer Science (Vol. 3440, pp. 541–545). Springer Verlag. https://doi.org/10.1007/978-3-540-31980-1_35
Mendeley helps you to discover research relevant for your work.