@article{SCAM-J-2013-MarcozziVH15,
	author        = "Michaël Marcozzi and Wim Vanhoof and Jean-Luc Hainaut",
	doi           = "10.1016/j.scico.2015.03.005",
	journal       = "{Science of Computer Programming}",
	pages         = "44--72",
	title         = "{Relational symbolic execution of SQL code for unit testing of database programs}",
	volume        = 105,
	year          = 2015,
}