Testing the completeness of specifications

This publication has 13 references indexed in Scilit:

• Synthesizing implementations of abstract data types from axiomatic specifications
  Software: Practice and Experience, 1987
• Testing Formal Specifications to Detect Design Errors
  IEEE Transactions on Software Engineering, 1985
• Specifications: Formal and informal—a case study
  Software: Practice and Experience, 1982
• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Abstract Data Type Specification in the Affirm System
  IEEE Transactions on Software Engineering, 1980
• Abstract data types in Euclid
  ACM SIGPLAN Notices, 1978
• Abstraction mechanisms in CLU
  Communications of the ACM, 1977
• Specification techniques for data abstractions
  IEEE Transactions on Software Engineering, 1975
• Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.
  Published by Elsevier ,1970