Testing can be formal, too

This publication has 14 references indexed in Scilit:

• The ASTOOT approach to testing object-oriented programs
  ACM Transactions on Software Engineering and Methodology, 1994
• Using algebraic specifications in software testing: A case study on the software of an automatic subway
  Journal of Systems and Software, 1993
• Observational implementation of algebraic specifications
  Acta Informatica, 1991
• Software testing based on formal specifications: a theory and a tool
  Software Engineering Journal, 1991
• The derivation of conformance tests from LOTOS specifications
  IEEE Transactions on Software Engineering, 1990
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987
• Test sets generation from algebraic specifications using logic programming
  Journal of Systems and Software, 1986
• A contribution to the theory of program testing
  Theoretical Computer Science, 1985
• A Mathematical Framework for the Investigation of Testing
  IEEE Transactions on Software Engineering, 1983
• Partial abstract types
  Acta Informatica, 1982