A Tool Suite for Diagnosis and Testing of Software Design Specifications.

J. Jenny Li, Joseph Robert Horgan

Browse the full DSN paper archive.