State Coverage Metrics for Specification-Based Testing with Büchi Automata

DOI10.1007/978-3-642-21768-5_13zbMath1335.68147OpenAlexW202682297MaRDI QIDQ3012971

Li Tan

Publication date: 7 July 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-21768-5_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Towards MC/DC Coverage of Properties Specification Patterns

Uses Software

• SPIN
• GOAL

Cites Work

• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• Automata-Theoretic Model Checking Revisited
• A Logic-Based Approach to Combinatorial Testing with Constraints
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: State Coverage Metrics for Specification-Based Testing with Büchi Automata