Experiments with Test Case Generation and Runtime Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Egon Börger, Angelo Gargantini, Elvinia Riccobene, editors, Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings. Volume 2589 of Lecture Notes in Computer Science, pages 87-107, Springer, 2003. [doi]

This author has not been identified. Look up 'Cyrille Artho' in GoogleThis author has not been identified. Look up 'Doron Drusinsky' in GoogleThis author has not been identified. Look up 'Allen Goldberg' in GoogleThis author has not been identified. It may be one of the following persons:

Klaus Havelund

Look up 'Klaus Havelund' in GoogleThis author has not been identified. Look up 'Michael R. Lowry' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in GoogleIdentified as Grigore Rosu This author has not been identified. Look up 'Willem Visser' in Google

runs on WebDSL