| Deposition of polysiloxane‐like nanofilms onto an aluminium alloy by plasma polymerized hexamethyldisiloxane: characterization by XPS and contact angle measurements A Azioune, M Marcozzi, V Revello, JJ Pireaux Surface and Interface Analysis: An International Journal devoted to the …, 2007 | 38 | 2007 |
| Time to clean your test objectives M Marcozzi, S Bardin, N Kosmatov, M Papadakis, V Prevosto, ... Proceedings of the 40th International Conference on Software Engineering …, 2018 | 37 | 2018 |
| Compiler fuzzing: How much does it matter? M Marcozzi, Q Tang, AF Donaldson, C Cadar Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019 | 36 | 2019 |
| A relational symbolic execution algorithm for constraint-based testing of database programs M Marcozzi, W Vanhoof, JL Hainaut 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 21 | 2013 |
| Test input generation for database programs using relational constraints M Marcozzi, W Vanhoof, JL Hainaut Proceedings of the Fifth International Workshop on Testing Database Systems, 1-6, 2012 | 20 | 2012 |
| Generic and effective specification of structural test objectives M Marcozzi, M Delahaye, S Bardin, N Kosmatov, V Prevosto 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 17 | 2017 |
| Relational symbolic execution of SQL code for unit testing of database programs M Marcozzi, W Vanhoof, JL Hainaut Science of Computer Programming 105, 44-72, 2015 | 17* | 2015 |
| Taming coverage criteria heterogeneity with LTest M Marcozzi, S Bardin, M Delahaye, N Kosmatov, V Prevosto 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 13 | 2017 |
| Towards testing of full-scale SQL applications using relational symbolic execution M Marcozzi, W Vanhoof, JL Hainaut Proceedings of the 6th international workshop on constraints in software …, 2014 | 9 | 2014 |
| Specify and measure, cover and reveal: A unified framework for automated test generation S Bardin, N Kosmatov, M Marcozzi, M Delahaye Science of Computer Programming 207, 102641, 2021 | 6 | 2021 |
| Fine-Grained Coverage-Based Fuzzing WC Wu, B Nongpoh, M Nour, M Marcozzi, S Bardin, C Hauser ACM Transactions on Software Engineering and Methodology, 2023 | 3* | 2023 |
| A novel probabilistic encoding for EAs applied to biclustering of microarray data M Marcozzi, F Divina, JS Aguilar-Ruiz, W Vanhoof Proceedings of the 13th annual conference on Genetic and evolutionary …, 2011 | 3 | 2011 |
| Théorie des Langages de Programmation: Syntaxe et Sémantique: Eléments théoriques et exercices M Marcozzi Presses universitaires de Namur, 2014 | 1 | 2014 |
| A Tight Integration of Symbolic Execution and Fuzzing (Short Paper) Y Vinçont, S Bardin, M Marcozzi International Symposium on Foundations and Practice of Security, 303-310, 2021 | | 2021 |
| Analyse organisationnelle du Commissariat Easi-Wal M Marcozzi Commissariat Easi-Wal, 2007 | | 2007 |
Sébastien BardinCEA LISTAdresse e-mail validée de cea.fr
