David Crowther Djuradj Babich Peter J. Clarke A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. 22-29 2005 conf/sera/2005 SERA http://doi.ieeecomputersociety.org/10.1109/SERA.2005.1 db/conf/sera/sera2005.html#CrowtherBC05