Michaël Marcozzi

According to our database, Michaël Marcozzi authored at least 16 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

A Tight Integration of Symbolic Execution and Fuzzing (Short Paper).

Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi

Proceedings of the Foundations and Practice of Security - 14th International Symposium, 2021

2019

Compiler fuzzing: how much does it matter?

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

Proc. ACM Program. Lang., 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.

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

CoRR, 2019

2018

Time to clean your test objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Freeing Testers from Polluting Test Objectives.

Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson

CoRR, 2017

Generic and Effective Specification of Structural Test Objectives.

Michaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Taming Coverage Criteria Heterogeneity with LTest.

Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

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

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs.

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

CoRR, 2015

A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications.

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

CoRR, 2015

2014

Automatic Test Generation for Data-Driven Applications.

Michaël Marcozzi

PhD thesis, 2014

Towards testing of full-scale SQL applications using relational symbolic execution.

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

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2013

A relational symbolic execution algorithm for constraint-based testing of database programs.

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

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2012

Test input generation for database programs using relational constraints.

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

Proceedings of the Fifth International Workshop on Testing Database Systems, 2012

2011

A novel probabilistic encoding for EAs applied to biclustering of microarray data.

Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011