A Class Abstraction Technique to Support the Analysis of Java Programs During Testing. - David Crowther; Djuradj Babich; Peter J. Clarke (SERA, 2005)