Extending dynamic constraint detection with disjunctive constraints.

Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell

Browse the full ISSTA paper archive.