Selected publications by Stefan Schwoon

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.

   address = {Edinburgh, Scotland, UK},
   author = {Suwimonteerabuth, Dejvuth and Schwoon, Stefan and Esparza, Javier},
   booktitle = {{P}roceedings of the 11th {I}nternational {C}onference on {T}ools and {A}lgorithms for {C}onstruction and {A}nalysis of {S}ystems ({TACAS}'05)},
   editor = {Halbwachs, Nicolas and Zuck, Lenore D.},
   month = apr,
   pages = {541-545},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {{jM}oped: A~{J}ava bytecode checker based on {M}oped},
   url = {},
   volume = {3440},
   year = {2005},

About LSV