Michal Marcozzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | ROSA: Finding Backdoors with Fuzzing. | Dimitri Kokkonis, Michal Marcozzi, Emilien Decoux, Stefano Zacchiroli |
| 2018 | ICSE | Time to clean your test objectives. | Michal Marcozzi, Sbastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loc Correnson |
| 2017 | ICST | Taming Coverage Criteria Heterogeneity with LTest. | Michal Marcozzi, Sbastien Bardin, Mickal Delahaye, Nikolai Kosmatov, Virgile Prevosto |
| 2017 | ICST | Generic and Effective Specification of Structural Test Objectives. | Michal Marcozzi, Mickal Delahaye, Sbastien Bardin, Nikolai Kosmatov, Virgile Prevosto |
| 2014 | ICSE | Towards testing of full-scale SQL applications using relational symbolic execution. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2013 | SCAM | A relational symbolic execution algorithm for constraint-based testing of database programs. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2012 | SIGMOD | Test input generation for database programs using relational constraints. | Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
| 2011 | GECCO | A novel probabilistic encoding for EAs applied to biclustering of microarray data. | Michal Marcozzi, Federico Divina, Jess S. Aguilar-Ruiz, Wim Vanhoof |