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

Filter
Conference contribution
2014
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
166 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
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