David A. Basin Stefan Friedrich Marek Gawkowski Joachim Posegga Bytecode Model Checking: An Experimental Analysis. 42-59 2002 conf/spin/2002 SPIN http://link.springer.de/link/service/series/0558/bibs/2318/23180042.htm db/conf/spin/spin2002.html#BasinFGP02