Towards testing of full-scale SQL applications using relational symbolic execution.

Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Browse the full ICSE paper archive.