Symbolic Counter Abstraction for Concurrent Software. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (CAV, 2009)

Mutation-Based Test Case Generation for Simulink Models. - Angelo Brillout; Nannan He; Michele Mazzucchi; Daniel Kroening; Mitra Purandare; Philipp Rümmer; Georg Weissenbacher (FMCO, 2009)

Context-aware counter abstraction. - Gérard Basler; Michele Mazzucchi; Thomas Wahl; Daniel Kroening (Formal Methods Syst. Des., 2010)