A Class Abstraction Technique to Support the Analysis of Java Programs During Testing.

David Crowther, Djuradj Babich, Peter J. Clarke

Browse the full SERA paper archive.