Ian MacColl Leesa Murray Paul A. Strooper David A. Carrington Specification-Based Class Testing: A Case Study. 222- 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980222abs.htm db/conf/icfem/icfem1998.html#MacCollMSC98