Fault model-driven test derivation from finite state models: Annotated bibliography

DOI10.1007/3-540-45510-8_10MaRDI QIDQ4532084zbMATH OpenFDO

Authors Alexandre Petrenko

Publication date 28 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2067/20670196

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• Using Model Checking to Generate Fault Detecting Tests
• scientific article; zbMATH DE number 2080058
• Generation of complete test suites from Mealy input/output transition systems
• Testing transition systems: An annotated bibliography
• Model-based testing of reactive systems. Advanced lectures.

Cited in

(14)

• 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
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Multiple mutation testing from FSM
• A General Testability Theory
• A Note on an Anomaly in Black-Box Testing
• A Formal Methodology to Test Complex Heterogeneous Systems
• Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Connectors as designs: modeling, refinement and test case generation
• 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

This page was built for publication: Fault model-driven test derivation from finite state models: Annotated bibliography

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