A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Research output: Working paper

133 Downloads (Pure)

Fingerprint Dive into the research topics of 'A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs'. Together they form a unique fingerprint.

Engineering & Materials Science