Testing Database Programs using Relational Symbolic Execution

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

Research output: Working paper

339 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2014

Projects

Cite this