Test input generation for database programs using relational constraints.

Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Browse the full SIGMOD paper archive.