Relational symbolic execution of SQL code for unit testing of database programs

Michaël Marcozzi, Wim Vanhoof, Jean Luc Hainaut

Research output: Contribution to journal › Article › peer-review

142 Downloads (Pure)

1 results
- Title(descending)
- Award date

Automatic Test Generation for Data-driven Applications
Marcozzi, M. (Author), Vanhoof, W. (Supervisor), Habra, N. (Jury), Hainaut, J.-L. (Jury), Englebert, V. (Jury), WIJSEN, J. (Jury) & Serebrenik, A. (Jury), 24 Oct 2014
Student thesis: Doc types › Doctor of Sciences