Dynamic constraint detection for polymorphic behavior. - Nadya Kuzmina; Ruben Gamboa (OOPSLA Companion, 2006)

Extending Dynamic Constraint Detection with Polymorphic Analysis. - Nadya Kuzmina; Ruben Gamboa (WODA@ICSE, 2007)

Extending dynamic constraint detection with disjunctive constraints. - Nadya Kuzmina; John Paul; Ruben Gamboa; James L. Caldwell (WODA, 2008)