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

114 Téléchargements (Pure)
Filtrer
Terminé

Résultats de recherche