scientific article; zbMATH DE number 1746453
From MaRDI portal
Publication:4532084
zbMATH Open0985.68677MaRDI QIDQ4532084FDOQ4532084
Authors: Alexandre Petrenko
Publication date: 28 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2067/20670196
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (14)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa
- A General Testability Theory
- A Note on an Anomaly in Black-Box Testing
- Connectors as designs: modeling, refinement and test case generation
- Multiple mutation testing from FSM
- 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
- Implementation relations and test generation for systems with distributed interfaces
- Introducing complexity to formal testing
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
- Testing from a stochastic timed system with a fault model
- A Formal Methodology to Test Complex Heterogeneous Systems
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
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 Q4532084)