Improving Constraint-Based Testing with Dynamic Linear Relaxations.

Tristan Denmat, Arnaud Gotlieb, Mireille Ducass

Browse the full ISSRE paper archive.