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

116 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs ». Ensemble, ils forment une empreinte digitale unique.

Computer Science

Keyphrases

INIS