chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.

J. Jenny Li, Joseph Robert Horgan

Browse the full APSEC paper archive.