Research output per year
Research output per year
Project Details
Description
{description_courte}
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/10 → 30/09/14 |
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications
Marcozzi, M., Vanhoof, W. (Supervisor) & Hainaut, J.-L. (Supervisor), 2015.Research output: Working paper
File172 Downloads (Pure) -
Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In: Science of Computer Programming. 105, p. 44-72 29 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile139 Downloads (Pure) -
Relational Test Generation Tool for SQL Applications
Marcozzi, M. (Photographer), 31 Jul 2014Research output: Non-textual form › Software
Activities
-
SAT/SMT Summer School 2014
Marcozzi, M. (Poster)
10 Jul 2014 → 12 Jul 2014Activity: Participating in or organising an event types › Participation in workshop, seminar, course
-
36th International Conference on Software Engineering (ICSE 2014)
Marcozzi, M. (Contributor)
31 May 2014Activity: Participating in or organising an event types › Participation in conference
-
Séminaire Pro-Doc "Projets et Financements"
Marcozzi, M. (Participant)
25 Apr 2014Activity: Participating in or organising an event types › Participation in workshop, seminar, course