Testing transition systems: An annotated bibliography

DOI10.1007/3-540-45510-8_9MaRDI QIDQ4532083zbMATH OpenFDO

Authors Ed Brinksma, Jan Tretmans

Publication date 28 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670187

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Model-based testing of reactive systems. Advanced lectures.
• scientific article; zbMATH DE number 938070
• Formal Approaches to Software Testing
• scientific article; zbMATH DE number 2013781
• scientific article; zbMATH DE number 2080058

Cites work

• LOTOS

Cited in

(23)

• Testing from a stochastic timed system with a fault model
• Implementation relations and test generation for systems with distributed interfaces
• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• Introducing complexity to formal testing
• Model-based testing of reactive systems. Advanced lectures.
• Library-based design and consistency checking of system-level industrial test cases
• Incremental learning-based testing for reactive systems
• On-the-fly testing by using an executable TTCN-3 Markov chain usage model
• A General Testability Theory
• Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
• A Formal Methodology to Test Complex Heterogeneous Systems
• Controllable Test Cases for the Distributed Test Architecture
• Model Driven Testing Based on Test History
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Composition of Model Programs
• Fault model-driven test derivation from finite state models: Annotated bibliography
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• The incremental maintenance of transition tour
• Composing model programs for analysis
• Reactive model-based testing of cyclic systems
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• Conformance testing for real-time systems

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: Testing transition systems: An annotated bibliography

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532083)