Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Résultat de recherche

Filtrer
Article de travail
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.

Résultats de recherche: Papier de travailArticle de travail

File
147 Téléchargements (Pure)
2014

Testing Database Programs using Relational Symbolic Execution

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

Résultats de recherche: Papier de travailArticle de travail

File
333 Téléchargements (Pure)
2012

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 6 déc. 2012.

Résultats de recherche: Papier de travailArticle de travail

Accès ouvert
File
101 Téléchargements (Pure)