Leesa Murray Jason McDonald Paul A. Strooper Specification-Based Class Testing with ClassBench. 164-173 1998 conf/apsec/1998 APSEC http://csdl.computer.org/dl/proceedings/apsec/1998/9183/00/91830164.pdf db/conf/apsec/apsec1998.html#MurrayMS98