Testing Database Programs using Relational Symbolic Execution

Autor:	Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Jazyk:	angličtina
Rok vydání:	2014
Zdroj:	Marcozzi, M, Vanhoof, W & Hainaut, J-L 2014 ' Testing Database Programs using Relational Symbolic Execution ' . University of Namur
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e092cf5896a3c30291a62e9c92b3f15 https://pure.unamur.be/ws/files/8244721/marcozzi_tech_report.pdf Zobrazit plný text záznamu