Publications

Automatically Detecting and Surviving Compiler Bugs

Compiler Fuzzing: How Much Does It Matter? (cond)

Michaël Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar

ACM Conference on Object Oriented Programming, Systems, Languages and Apps (OOPSLA'19)

BIBTEX - Artifact - Slides


A Systematic Impact Study for Fuzzer-Found Compiler Bugs

Michaël Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar

ArXiv e-prints, Feb. 2019.

A Unified Test Automation Platform based on Program Analysis

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.

BIBTEX - Companion website - Slides


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


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


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)


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.


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.

Automated Testing of Data-Intensive Software

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

BIBTEX


Automatic Test Generation for Data-Driven Applications

Michaël Marcozzi

Computer Science Ph.D. Thesis

BIBTEX


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). ACM Press.

Co-located with ICSE 2014.

BIBTEX


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.


Testing Database Programs using Relational Symbolic Execution

Michaël Marcozzi, Wim Vanhoof and Jean-Luc Hainaut

Working paper, University of Namur, Dec 2013.


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.

BIBTEX


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.


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). ACM Press.

Co-located with SIGMOD 2012.

BIBTEX

Machine Learning for Biological Data Mining

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.

BIBTEX


Multi-objective and Multimodal Probabilistic Evolutionary Algorithm for Biclustering of Microarray Data

Computer Science Master Thesis

Michaël Marcozzi

Solid-State Physics

Deposition of polysiloxane-like nanofilms onto an aluminium alloy by plasma polymerized hexamethyldisiloxane: characterization by XPS and contact angle measurements

Azioune A, Marcozzi M, Revello V, Pireaux J.-J. I

Surface and interface analysis, 2007, vol. 39, no7, pp. 615-623, Wiley, Chichester, UK.


A computational model to study the effects of electric fields over carbon nanotubes

Physics Master Thesis

Michaël Marcozzi