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

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

Faculte d'informatique
Research Group on the Foundations of Computer Sciences
Research Center on Information Systems Engineering

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

211 Téléchargements (Pure)

1 Participation à une conférence, un congrès

1 résultats
- Titre
- Date de début(par ordre croissant)

13th IEEE International Working Conference on Source Code Analysis and Manipulation
Michaël Marcozzi (Orateur)
22 sept. 2013 → 23 sept. 2013
Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

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

Activités

Résultats de recherche

13th IEEE International Working Conference on Source Code Analysis and Manipulation