Specification-Based Class Testing with ClassBench.

Leesa Murray, Jason McDonald, Paul A. Strooper

Browse the full APSEC paper archive.