scientific article; zbMATH DE number 1746453
From MaRDI portal
Publication:4532084
zbMath0985.68677MaRDI QIDQ4532084
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670196
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (14)
A General Testability Theory ⋮ Implementation relations and test generation for systems with distributed interfaces ⋮ A Formal Methodology to Test Complex Heterogeneous Systems ⋮ Connectors as designs: modeling, refinement and test case generation ⋮ Testing restorable systems: formal definition and heuristic solution based on river formation dynamics ⋮ \(\mathcal {HOTL}\): Hypotheses and observations testing logic ⋮ Formally transforming user-model testing problems into implementer-model testing problems and viceversa ⋮ Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems ⋮ Testing from a stochastic timed system with a fault model ⋮ Introducing complexity to formal testing ⋮ Multiple Mutation Testing from FSM ⋮ A centralized and a decentralized method to automatically derive choreography-conforming web service systems ⋮ A Note on an Anomaly in Black-Box Testing
This page was built for publication:
