Michaël Marcozzi

According to our database1, Michaël Marcozzi authored at least 14 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang., 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.
CoRR, 2019

2018
Time to clean your test objectives.
Proceedings of the 40th International Conference on Software Engineering, 2018

2017
Freeing Testers from Polluting Test Objectives.
CoRR, 2017

Generic and Effective Specification of Structural Test Objectives.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Taming Coverage Criteria Heterogeneity with LTest.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015
Relational symbolic execution of SQL code for unit testing of database programs.
Sci. Comput. Program., 2015

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

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

2014
Automatic Test Generation for Data-Driven Applications.
PhD thesis, 2014

Towards testing of full-scale SQL applications using relational symbolic execution.
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.
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.
Proceedings of the Fifth International Workshop on Testing Database Systems, 2012

2011
A novel probabilistic encoding for EAs applied to biclustering of microarray data.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011


  Loading...