Specification-based test oracles for reactive systems
- 1 January 1992
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Rethinking the Taxonomy of Fault Detection TechniquesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- The RELAY model of error detection and its applicationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Run-time consistency checking of algebraic specificationsPublished by Association for Computing Machinery (ACM) ,1991
- Executing formal specificationsPublished by Association for Computing Machinery (ACM) ,1991
- Conceptual modeling of coincident failures in multiversion softwareIEEE Transactions on Software Engineering, 1989
- Debugging concurrent programsACM Computing Surveys, 1989
- Automatic generation of test scripts from formal test specificationsPublished by Association for Computing Machinery (ACM) ,1989
- Real-time interval logic for reasoning about executions of real-time programsPublished by Association for Computing Machinery (ACM) ,1989
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- On Testing Non-Testable ProgramsThe Computer Journal, 1982