Publications
2023
[TOSEM] Fine-Grained Coverage-Based Fuzzing
Wei-Cheng Wu, Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin, Christophe Hauser
ACM Transactions on Software Engineering and Methodology
BIBTEX - Infrastructure - Extended slides
2022
[FUZZING'22] Registered Report: Fine-Grained Coverage-Based Fuzzing
Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin
The 1st International Fuzzing Workshop
2021
[FPS'21] A Tight Integration of Symbolic Execution and Fuzzing
Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi
The 14th International Symposium on Foundations & Practice of Security
[SCP journal] Specify and measure, cover and reveal: A unified framework for automated test generation
Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
Volume 207, 2021, 102641, ISSN 0167-6423
2019
[OOPSLA'19] Compiler Fuzzing: How Much Does It Matter?
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
Proceedings of the ACM on Programming Languages (SPLASH 2019 OOPSLA)
BIBTEX - Infrastructure (ACM reusable artifact) - Slides and Talk on Youtube (20 minutes) - Extended slides and Extended Talk on Youtube (50 minutes)
[ArXiv] A Systematic Impact Study for Fuzzer-Found Compiler Bugs
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
ArXiv e-prints, Feb. 2019.
2018
[ICSE'18] Time to Clean Your Test Objectives
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
40th International Conference on Software Engineering (ICSE'18). ACM Press.
2017
[ICST'17] Generic and Effective Specification of Structural Test Objectives
Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto
10th IEEE International Conference on Software Testing, Verification and Validation (ICST'17). IEEE Computer Society.
BIBTEX - Companion website - Slides
[ICST'17] Taming Coverage Criteria Heterogeneity with LTest
Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
10th IEEE International Conference on Software Testing, Verification and Validation (ICST'17). IEEE Computer Society.
BIBTEX - Companion website - Slides
[AFADL'17] Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTest
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto, Mickaël Delahaye
Approches Formelles dans l'Assistance au Développement de Logiciels 2017 (AFADL17)
[ArXiV] Freeing Testers from Polluting Test Objectives
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
ArXiv e-prints, Aug. 2017.
2016
[ArXiV] Generic and Effective Specification of Structural Test Objectives
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Michaël Marcozzi, Virgile Prevosto
ArXiv e-prints, Sept. 2016.
2015
[SCP journal] Relational Symbolic Execution of SQL Code for Unit Testing of Database Programs
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
Science of Computer Programming, Volume 105, 1 July 2015, Pages 44-72, ISSN 0167-6423
2014
[Ph.D. Thesis] Automatic Test Generation for Data-Driven Applications
Michaël Marcozzi
Computer Science Ph.D. Thesis, Université de Namur, Académie Universitaire Louvain, Belgium, October 2014
[CSTVA'14] Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA’14, co-located with ICSE 2014). ACM Press.
[Textbook] Théorie des Langages de Programmation : Syntaxe et Sémantique (Theory of Programming Languages: Syntax and Semantics)
Michaël Marcozzi
(c) Presses universitaires de Namur, 2014, D/2014/1881/3, ISBN 978-2-87037-813-7
[ArXiv] A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
ArXiv e-prints, Sept. 2014.
2013
[SCAM'13] A Relational Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM’13). IEEE Computer Society.
2012
[ArXiv] A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
ArXiv e-prints, Dec. 2012.
[DBTest'12] Test Input Generation for Database Programs using Relational Constraints
Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut
Fifth International Workshop on Testing Database Systems (DBTest’12, co-located with SIGMOD 2012). ACM Press.
2011
[GECCO'11] A Novel Probabilistic Encoding for EAs Applied to Biclustering of Microarray Data
Michaël Marcozzi, Federico Divina, Wim Vanhoof and Jesus Aguilar-Ruiz
Genetic and Evolutionary Computation Conference 2011 (GECCO’11). ACM Press.
2010
[Master Thesis] Multi-objective and Multimodal Probabilistic Evolutionary Algorithm for Biclustering of Microarray Data
Computer Science Master Thesis, Université de Namur, Académie Universitaire Louvain, Belgium, September 2010
Michaël Marcozzi
Earlier
[FUZZING'22] Registered Report: Fine-Grained Coverage-Based Fuzzing
Bernard Nongpoh, Marwan Nour, Michaël Marcozzi, Sébastien Bardin
The 1st International Fuzzing Workshop