Juei Chang Debra J. Richardson ADLscope: An Automated Specification-based Unit Testing Tool. 289-292 1998 ASE http://dlib.computer.org/conferen/ase/8750/pdf/87500289.pdf db/conf/kbse/ase1998.html#ChangR98