DMCA

Constraint-based Test Generation for Pointer-based Data Structures

by Tom Schrijvers , François Degrave , Wim Vanhoof