Michele Mazzucchi

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
Context-aware counter abstraction. Formal Methods Syst. Des. 36 (3) (2010)
Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening
Symbolic Counter Abstraction for Concurrent Software. CAV (2009)
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
Mutation-Based Test Case Generation for Simulink Models. FMCO (2009)