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

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

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

210 Downloads (Pure)
Filter
Participation in conference

Search results