A novel probabilistic encoding for EAs applied to biclustering of microarray data. - Michaël Marcozzi; Federico Divina; Jesús S. Aguilar-Ruiz; Wim Vanhoof (GECCO, 2011)

Test input generation for database programs using relational constraints. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (DBTest, 2012)

A relational symbolic execution algorithm for constraint-based testing of database programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (SCAM, 2013)

Towards testing of full-scale SQL applications using relational symbolic execution. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CSTVA, 2014)

Automatic Test Generation for Data-Driven Applications. - Michaël Marcozzi (2014)

A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CoRR, 2015)

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (CoRR, 2015)

Relational symbolic execution of SQL code for unit testing of database programs. - Michaël Marcozzi; Wim Vanhoof; Jean-Luc Hainaut (Sci. Comput. Program., 2015)

Taming Coverage Criteria Heterogeneity with LTest. - Michaël Marcozzi; Sébastien Bardin; Mickaël Delahaye; Nikolai Kosmatov; Virgile Prevosto (ICST, 2017)

Generic and Effective Specification of Structural Test Objectives. - Michaël Marcozzi; Mickaël Delahaye; Sébastien Bardin; Nikolai Kosmatov; Virgile Prevosto (ICST, 2017)

Freeing Testers from Polluting Test Objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (CoRR, 2017)

Time to clean your test objectives. - Michaël Marcozzi; Sébastien Bardin; Nikolai Kosmatov; Mike Papadakis; Virgile Prevosto; Loïc Correnson (ICSE, 2018)

A Systematic Impact Study for Fuzzer-Found Compiler Bugs. - Michaël Marcozzi; Qiyi Tang 001; Alastair F. Donaldson; Cristian Cadar (CoRR, 2019)

Compiler fuzzing: how much does it matter? - Michaël Marcozzi; Qiyi Tang 001; Alastair F. Donaldson; Cristian Cadar (Proc. ACM Program. Lang., 2019)

A Tight Integration of Symbolic Execution and Fuzzing (Short Paper). - Yaëlle Vinçont; Sébastien Bardin; Michaël Marcozzi (FPS, 2021)

Specify and measure, cover and reveal: A unified framework for automated test generation. - Sébastien Bardin; Nikolai Kosmatov; Michaël Marcozzi; Mickaël Delahaye (Sci. Comput. Program., 2021)

Fine-grained Coverage-based Fuzzing. - Wei-Cheng Wu; Bernard Nongpoh; Marwan Nour; Michaël Marcozzi; Sébastien Bardin; Christophe Hauser (ACM Trans. Softw. Eng. Methodol., 2024)

Fine-grained Coverage-based Fuzzing - RCR Report. - Wei-Cheng Wu; Bernard Nongpoh; Marwan Nour; Michaël Marcozzi; Sébastien Bardin; Christophe Hauser (ACM Trans. Softw. Eng. Methodol., 2024)

ROSA: Finding Backdoors with Fuzzing. - Dimitri Kokkonis; Michaël Marcozzi; Emilien Decoux; Stefano Zacchiroli (ICSE, 2025)