J. Jenny Li Joseph Robert Horgan A Tool Suite for Diagnosis and Testing of Software Design Specifications. 295-304 2000 conf/dsn/2000 DSN http://computer.org/proceedings/dsn/0707/07070295abs.htm db/conf/dsn/dsn2000.html#LiH00