Michaël Marcozzi

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 12

Top Venues

CoRR

ICST

Sci. Comput. Program.

Proc. ACM Program. Lang.

Catholic University of Louvain, Louvain-la-Neuve, Belgium (PHD)

Education History

Catholic University of Louvain, Louvain-la-Neuve, Belgium

PHD

Publications

Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
Specify and measure, cover and reveal: A unified framework for automated test generation. Sci. Comput. Program. 207 (2021)
Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi
A Tight Integration of Symbolic Execution and Fuzzing (Short Paper). FPS (2021)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
Time to clean your test objectives. ICSE (2018)
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
Freeing Testers from Polluting Test Objectives. CoRR (2017)
Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
Taming Coverage Criteria Heterogeneity with LTest. ICST (2017)
Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto
Generic and Effective Specification of Structural Test Objectives. ICST (2017)
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto
Generic and Effective Specification of Structural Test Objectives. CoRR (2016)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs. CoRR (2015)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Relational symbolic execution of SQL code for unit testing of database programs. Sci. Comput. Program. 105 (2015)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. CoRR (2015)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Towards testing of full-scale SQL applications using relational symbolic execution. CSTVA (2014)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
A relational symbolic execution algorithm for constraint-based testing of database programs. SCAM (2013)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Test input generation for database programs using relational constraints. DBTest (2012)
Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof
A novel probabilistic encoding for EAs applied to biclustering of microarray data. GECCO (2011)

Michaël Marcozzi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michaël Marcozzi