Travelled to:1 × The Netherlands
Collaborated with:W.Vanhoof J.Hainaut Q.T.0001 A.F.Donaldson C.Cadar
Talks about:program (2) databas (2) symbol (2) execut (2) relat (2) test (2) constraint (1) algorithm (1) matter (1) compil (1)
Person: Michaël Marcozzi
DBLP: Marcozzi:Micha=euml=l
Contributed to:
20132015
2019Wrote 3 papers:
- SCAM-2013-MarcozziVH #algorithm #constraints #database #execution #relational #source code #symbolic computation #testing
- A relational symbolic execution algorithm for constraint-based testing of database programs (MM, WV, JLH), pp. 179–188.
- SCAM-J-2013-MarcozziVH15 #database #execution #relational #source code #sql #symbolic computation #testing
- Relational symbolic execution of SQL code for unit testing of database programs (MM, WV, JLH), pp. 44–72.
- OOPSLA-2019-MarcozziTDC #compilation #fuzzing #how #matter #question
- Compiler fuzzing: how much does it matter? (MM, QT0, AFD, CC), p. 29.