Cyrille Artho Doron Drusinsky Allen Goldberg Klaus Havelund Michael R. Lowry Corina S. Pasareanu Grigore Rosu Willem Visser Experiments with Test Case Generation and Runtime Analysis. 87-107 2003 conf/asm/2003 Abstract State Machines http://link.springer.de/link/service/series/0558/bibs/2589/25890087.htm db/conf/asm/asm2003.html#ArthoDGHLPRV03