An approach to testing specifications
Abstract
References
Index Terms
- An approach to testing specifications
Recommendations
An approach to testing specifications
Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on high-level debuggingAn approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions ...
An approach to testing specifications
SIGSOFT '83: Proceedings of the symposium on High-level debuggingAn approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions ...
An approach to testing specifications
An approach to testing the consistency of specifications is explored, which is applicable to the design validation of communication protocols and other cases of step-wise refinement. In this approach, a testing module compares a trace of interactions ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGPLAN Notices](/cms/asset/2c52c467-cb9b-4f9e-b5c3-b5eeccf9063f/3393934.cover.jpg)
- March 1983217 pagesISBN:0897911113DOI:10.1145/1006147
- General Chair:
- Richard E. Fairley,
- Program Chair:
- Mark Scott Johnson
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations3Total Citations
- 431Total Downloads
- Downloads (Last 12 months)134
- Downloads (Last 6 weeks)37
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in