Using algebraic specifications in software testing: A case study on the software of an automatic subway

This publication has 9 references indexed in Scilit:

• Test selection based on finite state models
  IEEE Transactions on Software Engineering, 1991
• Software testing based on formal specifications: a theory and a tool
  Software Engineering Journal, 1991
• Algebraic specifications
  Published by Elsevier ,1991
• The derivation of conformance tests from LOTOS specifications
  IEEE Transactions on Software Engineering, 1990
• Test sets generation from algebraic specifications using logic programming
  Journal of Systems and Software, 1986
• Unification in conditional-equational theories
  Published by Springer Nature ,1985
• On Testing Non-Testable Programs
  The Computer Journal, 1982
• Data Abstraction, Implementation, Specification, and Testing
  ACM Transactions on Programming Languages and Systems, 1981
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977