A relational symbolic execution algorithm for constraint-based testing of database programs

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

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

210 Téléchargements (Pure)

Empreinte digitale

Examiner les sujets de recherche de « A relational symbolic execution algorithm for constraint-based testing of database programs ». Ensemble, ils forment une empreinte digitale unique.

Computer Science