Research Group on the Foundations of Computer Science

Namur Digital Institute

Websitehttp://directory.unamur.be/entities/focus?_LOCALE_=en

Postal addressShow on map
5000
Belgium

3 results

Filter

2015
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

File
171 Downloads (Pure)
2014

Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2014.
Research output: Working paper

File

356 Downloads (Pure)
2012
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 6 Dec 2012.
Research output: Working paper

Open Access
File
119 Downloads (Pure)