Relational symbolic execution of SQL code for unit testing of database programs

Michaël Marcozzi, Wim Vanhoof, Jean Luc Hainaut

Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

130 Téléchargements (Pure)

6 Citations
1 Article dans les actes d'une conférence/un colloque
1 Logiciel

1 résultats

Filtrer

2013
A relational symbolic execution algorithm for constraint-based testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 sept. 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200
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

Accès ouvert
File
212 Téléchargements (Pure)