Micha\"el Marcozzi

Identifiers

• name variant Micha\"el Marcozzi 0.60 · backfill

Papers (4)

1. Freeing Testers from Polluting Test Objectives cs.SE · 2017 · author #1
2. Generic and Effective Specification of Structural Test Objectives cs.SE · 2016 · author #4
3. A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs cs.SE · 2015 · author #1
4. A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications cs.SE · 2015 · author #1

Mentions

• 1501.05821 #1 · backfill · confidence 0.70 Micha\"el Marcozzi
• 1501.05265 #1 · backfill · confidence 0.70 Micha\"el Marcozzi

Frequent Coauthors

• Jean-Luc Hainaut 2 shared papers
• Nikolai Kosmatov 2 shared papers
• S\'ebastien Bardin 2 shared papers
• Virgile Prevosto 2 shared papers
• Wim Vanhoof 2 shared papers
• Lo\"ic Correnson 1 shared papers
• Micka\"el Delahaye 1 shared papers
• Mike Papadakis 1 shared papers