Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output

Filter
Working paper
2015

A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2015.

Research output: Working paper

File
122 Downloads (Pure)
2014

Testing Database Programs using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

Research output: Working paper

File
308 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
77 Downloads (Pure)