Michaël Marcozzi

21 papers A* 2A 3C 1Journal 11Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
ROSA: Finding Backdoors with Fuzzing.
ICSE
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
2025 J jnl
ROSA: Finding Backdoors with Fuzzing.
CoRR
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
2024 J jnl
Fine-grained Coverage-based Fuzzing - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
2024 J jnl
Fine-grained Coverage-based Fuzzing.
ACM Trans. Softw. Eng. Methodol.
Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
2021 — conf
A Tight Integration of Symbolic Execution and Fuzzing (Short Paper).
FPS
Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi
2021 J jnl
Specify and measure, cover and reveal: A unified framework for automated test generation.
Sci. Comput. Program.
Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
2019 J jnl
A Systematic Impact Study for Fuzzer-Found Compiler Bugs.
CoRR
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019 J jnl
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang.
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2018 A* conf
Time to clean your test objectives.
ICSE
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2017 J jnl
Freeing Testers from Polluting Test Objectives.
CoRR
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
2017 A conf
Generic and Effective Specification of Structural Test Objectives.
ICST
Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto
2017 A conf
Taming Coverage Criteria Heterogeneity with LTest.
ICST
Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
2016 J jnl
Generic and Effective Specification of Structural Test Objectives.
CoRR
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto
2015 J jnl
A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications.
CoRR
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2015 J jnl
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs.
CoRR
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2015 J jnl
Relational symbolic execution of SQL code for unit testing of database programs.
Sci. Comput. Program.
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2014 — —
Automatic Test Generation for Data-Driven Applications.
Michaël Marcozzi
2014 — conf
Towards testing of full-scale SQL applications using relational symbolic execution.
CSTVA
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2013 C conf
A relational symbolic execution algorithm for constraint-based testing of database programs.
SCAM
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2012 — conf
Test input generation for database programs using relational constraints.
DBTest
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
2011 A conf
A novel probabilistic encoding for EAs applied to biclustering of microarray data.
GECCO
Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof