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