scientific article; zbMATH DE number 1746452
From MaRDI portal
Publication:4532083
zbMATH Open0985.68661MaRDI QIDQ4532083FDOQ4532083
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670187
Title of this publication is not available (Why is that?)
Recommendations
Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
Cited In (19)
- Controllable Test Cases for the Distributed Test Architecture
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa
- On-the-Fly Testing by Using an Executable TTCN-3 Markov Chain Usage Model
- Conformance testing for real-time systems
- A General Testability Theory
- Composing model programs for analysis
- Title not available (Why is that?)
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems
- Title not available (Why is that?)
- Implementation relations and test generation for systems with distributed interfaces
- Model-based testing of reactive systems. Advanced lectures.
- Introducing complexity to formal testing
- Composition of Model Programs
- Testing from a stochastic timed system with a fault model
- Model Driven Testing Based on Test History
- A Formal Methodology to Test Complex Heterogeneous Systems
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
Uses Software
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)
