scientific article; zbMATH DE number 1746453

MaRDI QIDQ4532084zbMATH OpenFDO

Authors Alexandre Petrenko

Publication date 28 May 2002

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

Mathematics Subject Classification ID

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)

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
• scientific article; zbMATH DE number 1746452
• Model-based testing of reactive systems. Advanced lectures.

Cited in

(14)

• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Connectors as designs: modeling, refinement and test case generation
• A centralized and a decentralized method to automatically derive choreography-conforming web service systems
• A Formal Methodology to Test Complex Heterogeneous Systems
• \(\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
• A Note on an Anomaly in Black-Box Testing
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• A General Testability Theory
• Implementation relations and test generation for systems with distributed interfaces
• Introducing complexity to formal testing
• Testing from a stochastic timed system with a fault model
• Multiple mutation testing from FSM

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)