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

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

Research output: Working paper

110 Downloads (Pure)
Filter
Finished

Search results