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

Résultat de recherche 1997 2019

Filtre
Article de travail
2015
117 Downloads (Pure)
File
Testing
Surface mount technology
2014
307 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
2006

Automatic Generation of Test Inputs for Mercury Programs

Vanhoof, W. & Mweze Nabintu Feza, N., 2006, Venice Italy: G. Puebla.

Résultats de recherche: Papier de travailArticle de travail

Fingerprinting Logic Programs

Serebrenik, A. & Vanhoof, W., 2006, Seatlle, Washington, USA: W. Vanhoof and S. Hernandez.

Résultats de recherche: Papier de travailArticle de travail