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

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

226 Downloads (Pure)

11 Citations
1 Article
1 Software

2 results

2015
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 Access
File
141 Downloads (Pure)
2014

Relational Test Generation Tool for SQL Applications
Marcozzi, M. (Photographer), 31 Jul 2014
Research output: Non-textual form › Software