Michele Mazzucchi

According to our database, Michele Mazzucchi authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Context-aware counter abstraction.

Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Formal Methods Syst. Des., 2010

2009

Mutation-Based Test Case Generation for Simulink Models.

Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Symbolic Counter Abstraction for Concurrent Software.

Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Proceedings of the Computer Aided Verification, 21st International Conference, 2009