Testing Database Programs using Relational Symbolic Execution

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

Résultats de recherche: Papier de travailArticle de travail

336 Téléchargements (Pure)
langue originaleAnglais
Etat de la publicationPublié - 2014

Contient cette citation