Verisim

This publication has 8 references indexed in Scilit:

• Detecting computer and network misuse through the production-based expert system toolset (P-BEST)
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A performance comparison of multi-hop wireless ad hoc network routing protocols
  Published by Association for Computing Machinery (ACM) ,1998
• Specification-based testing of reactive software
  Published by Association for Computing Machinery (ACM) ,1997
• An automatic trace analysis tool generator for Estelle specifications
  ACM SIGCOMM Computer Communication Review, 1995
• SCR*: A Toolset for Specifying and Analyzing Requirements
  Published by Defense Technical Information Center (DTIC) ,1995
• Oracles for checking temporal properties of concurrent systems
  ACM SIGSOFT Software Engineering Notes, 1994
• Specification-based test oracles for reactive systems
  Published by Association for Computing Machinery (ACM) ,1992
• Trace analysis for conformance and arbitration testing
  IEEE Transactions on Software Engineering, 1989