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 proceeding › Conference contribution

226 Downloads (Pure)

1 Participation in conference

1 results
- Title
- Start date(ascending)

13th IEEE International Working Conference on Source Code Analysis and Manipulation
Marcozzi, M. (Contributor)
22 Sept 2013 → 23 Sept 2013
Activity: Participating in or organising an event types › Participation in conference