Experiments with Test Case Generation and Runtime Analysis (2003)

Cached

Download Links

by Cyrille Artho , Doron Drusinksy , Allen Goldberg , Klaus Havelund , Mike Lowry , Corina Pasareanu , Grigore Rosu , Willem Visser
Venue:Abstract State Machines (ASM’03), volume 2589 of LNCS
Citations:25 - 11 self