Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

Filter
Working paper
2015
117 Downloads (Pure)

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
Testing
Surface mount technology
2014
307 Downloads (Pure)

Testing Database Programs using Relational Symbolic Execution

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

Research output: Working paper

File
2012
77 Downloads (Pure)

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
Testing
Formal languages
Semantics