A Tool Suite for Diagnosis and Testing of Software Design Specifications

J. Jenny Li, Joseph Robert Horgan. A Tool Suite for Diagnosis and Testing of Software Design Specifications. In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA. pages 295-304, IEEE Computer Society, 2000. [doi]

Abstract

Abstract is missing.