Nadya Kuzmina Ruben Gamboa Dynamic constraint detection for polymorphic behavior. 657-658 2006 conf/oopsla/2006c OOPSLA Companion http://doi.acm.org/10.1145/1176617.1176659 db/conf/oopsla/oopsla2006c.html#KuzminaG06