Constraint Slving for Test Case Generation.

Ashok K. Chandra, Vijay S. Iyengar

Browse the full ICCD paper archive.