Publications

A relational symbolic execution algorithm for constraint-based testing of database programs

Informations générales

étatPublié
organisationsFaculté d'informatique, Research group on the foundations of computer sciences, Research Center on Information Systems Engineering
AuteursMarcozzi, M., Vanhoof, W., Hainaut, J.
Nombre de pages10
Pages179-188
Date de publication22 sept. 2013

Informations sur la publication d'accueil

titreIEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013
EditeurIEEE Computer society
Le numéro d'article6648200
ISBN (imprimé)9781467357395
Les domaines scientifiques ASJClogiciel
Les versions électroniques
Les DOIs
URLs

Résultats de recherche: RechercheArticle dans les actes d'une conférence/un colloque