Michaël Marcozzi

  • 50 Citations
  • 3 h-Index
20072015
If you made any changes in Pure these will be visible here soon.

Research Output 2007 2015

2015
117 Downloads (Pure)
File
Testing
Surface mount technology
86 Downloads (Pure)
Open Access
File
Testing
Surface mount technology
2014

Relational Test Generation Tool for SQL Applications

Marcozzi, M., 31 Jul 2014

Research output: Non-textual formSoftware

304 Downloads (Pure)
File

Théorie des Langages de Programmation : Syntaxe et Sémantique: Eléments théoriques et exercices

Translated title of the contribution: Theory of Programming Languages: Syntax and Semantics: Theoritical elements and exercisesMarcozzi, M., 1 Jan 2014, Namur: Presses universitaires de Namur. 169 p.

Research output: Book/Report/JournalBook

language theory
programming language
syntax
semantics
learning
218 Downloads (Pure)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Surface mount technology
Semantics
2013
167 Downloads (Pure)

A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 Sep 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Flow graphs
2012
76 Downloads (Pure)
Open Access
File
Testing
Formal languages
Semantics
345 Downloads (Pure)

Test input generation for database programs using relational constraints

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2012, Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Formal languages
Static analysis
Data structures
Testing
2011
41 Downloads (Pure)

A Novel Probabilistic Encoding for EAs Applied to Biclustering of Microarray Data

Marcozzi, M., DIVINA, F., AGUILAR-RUIZ, J. S. & Vanhoof, W., 2011, GECCO '11: Proceedings of the Genetic and Evolutionary Computation Conference. Krasnogor, N. (ed.). New York: ACM Press, p. 339-346 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Microarrays
Evolutionary algorithms
Simulated annealing
Genes
Uncertainty
59 Downloads (Pure)

Constraint-based test data generation for database-driven applications

Marcozzi, M., 3 Jul 2011, Pre-Proceedings of the GTTSE-SLE 2011 Students’ Workshop . Braga, Portugal: GTTSE-SLE Students' Workshop

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File