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

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Résultats de recherche: Papier de travail › Article de travail

111 Téléchargements (Pure)

1 résultats

Filtrer

Génération de données de test basée sur les contraintes pour des applications orientées base de données.
Marcozzi, M., Vanhoof, W. & Hainaut, J.
1/10/10 → 30/09/14
Projet: Projet de thèse