Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut. A relational symbolic execution algorithm for constraint-based testing of database programs. In 13th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2013, Eindhoven, Netherlands, September 22-23, 2013. pages 179-188, IEEE, 2013. [doi]
Abstract is missing.