A relational symbolic execution algorithm for constraint-based testing of database programs.

Michal Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Browse the full SCAM paper archive.