Using Model Checking to Generate Fault Detecting Tests

DOI10.1007/978-3-540-73770-4_11zbMath1196.68134OpenAlexW65517794MaRDI QIDQ5423870

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

abstract state machinesASMmodel-based testingfault-based testing

Mathematics Subject Classification ID

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

Related Items (4)

A formal logic approach to constrained combinatorial testing ⋮ On the order of test goals in specification-based testing ⋮ A Logic-Based Approach to Combinatorial Testing with Constraints ⋮ Complementary Criteria for Testing Temporal Logic Properties

Uses Software

• SPIN

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