Volgen
Michaël Marcozzi
Michaël Marcozzi
Université Paris-Saclay, Institut CEA List
Geverifieerd e-mailadres voor cea.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
452019
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
402007
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
392018
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
212013
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
212012
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
182017
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
18*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
132017
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
92014
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
62021
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
42023
A tight integration of symbolic execution and fuzzing
Y Vinçont, S Bardin, M Marcozzi
Lecture Notes in Computer Science 13291, 2021
32021
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
32011
Théorie des Langages de Programmation: Syntaxe et Sémantique: Eléments théoriques et exercices
M Marcozzi
Presses universitaires de Namur, 2014
12014
Analyse organisationnelle du Commissariat Easi-Wal
M Marcozzi
Commissariat Easi-Wal, 2007
2007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15