scientific article; zbMATH DE number 1746452

MaRDI QIDQ4532083zbMATH OpenFDO

Authors Ed Brinksma, Jan Tretmans

Publication date 28 May 2002

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

(22)

• 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.
• scientific article; zbMATH DE number 1693523 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• 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
• 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:

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