Michaël Marcozzi
Titre
Citée par
Citée par
Anné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
312007
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
172012
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
152013
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
14*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
102017
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
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
82014
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
72017
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
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
22019
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–12