Using Model Checking to Generate Fault Detecting Tests

DOI10.1007/978-3-540-73770-4_11MaRDI QIDQ5423870zbMATH OpenOpenAlexFDO

Authors Angelo Gargantini

Publication date 31 October 2007

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73770-4_11

zbMATH Keywords

model-based testingASMabstract state machinesfault-based testing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1951195
• Data Flow Analysis and Testing of Abstract State Machines
• scientific article; zbMATH DE number 1951206
• scientific article; zbMATH DE number 2080058
• Formal Techniques for Networked and Distributed Systems – FORTE 2004

Cited in

(20)

• Formal Approaches to Software Testing
• Test generation from event system abstractions to cover their states and transitions
• scientific article; zbMATH DE number 2102699 (Why is no real title available?)
• A data-flow approach to test multi-agent ASMs
• scientific article; zbMATH DE number 1951206 (Why is no real title available?)
• Checking sequence generation for symbolic input/output FSMs by constraint solving
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• FSM-based testing from user defined faults adapted to incremental and mutation testing
• Multiple mutation testing from FSM
• A Logic-Based Approach to Combinatorial Testing with Constraints
• scientific article; zbMATH DE number 1951195 (Why is no real title available?)
• Complementary Criteria for Testing Temporal Logic Properties
• A formal logic approach to constrained combinatorial testing
• On the order of test goals in specification-based testing
• Information reuse for multi-goal reachability analyses
• Formal Approaches to Software Testing
• Data Flow Analysis and Testing of Abstract State Machines
• scientific article; zbMATH DE number 2080058 (Why is no real title available?)
• Association of under-approximation techniques for generating tests from models

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Using Model Checking to Generate Fault Detecting Tests

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