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]
@inproceedings{LiH00:3, title = {A Tool Suite for Diagnosis and Testing of Software Design Specifications}, author = {J. Jenny Li and Joseph Robert Horgan}, year = {2000}, url = {http://computer.org/proceedings/dsn/0707/07070295abs.htm}, tags = {testing, design}, researchr = {https://researchr.org/publication/LiH00%3A3}, cites = {0}, citedby = {0}, pages = {295-304}, booktitle = {2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-0707-7}, }