Nadya Kuzmina John Paul Ruben Gamboa James Caldwell Extending dynamic constraint detection with disjunctive constraints. 57-63 2008 WODA http://doi.acm.org/10.1145/1401827.1401839 conf/issta/2008w db/conf/issta/woda2008.html#KuzminaPGC08