Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 1974 2015

Filtre
Article de travail
2015
118 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.

Résultats de recherche: Papier de travailArticle de travail

File
Testing
Surface mount technology
2014
308 Downloads (Pure)

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

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