Testing Database Programs using Relational Symbolic Execution

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

Résultats de recherche: Papier de travail

337 Téléchargements (Pure)

1 Terminé

1 résultats

Génération de données de test basée à base de contraintes pour des applications orientées base de données
Vanhoof, W.
1/10/10 → 30/09/12
Projet: Projet de thèse