Michaël Marcozzi
TitreCitée parAnnée
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
272007
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, 6, 2012
162012
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
132013
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
12*2015
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
92017
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
82018
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
62017
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
52014
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
Compiler Fuzzing: How Much Does It Matter?
M MARCOZZI, Q TANG, AF DONALDSON, C CADAR
2019
Analyse organisationnelle du Commissariat Easi-Wal
M Marcozzi
Commissariat Easi-Wal, 2007
2007
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12