State coverage metrics for specification-based testing with Büchi automata

DOI10.1007/978-3-642-21768-5_13MaRDI QIDQ3012971zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
• scientific article; zbMATH DE number 2080058
• Formal Approaches to Software Testing
• Complementary Criteria for Testing Temporal Logic Properties
• Coverage metrics for temporal logic model checking

Cites work

• A Logic-Based Approach to Combinatorial Testing with Constraints
• Automata-Theoretic Model Checking Revisited
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• scientific article; zbMATH DE number 710624 (Why is no real title available?)
• scientific article; zbMATH DE number 1973991 (Why is no real title available?)
• scientific article; zbMATH DE number 2080058 (Why is no real title available?)
• scientific article; zbMATH DE number 2087629 (Why is no real title available?)

Cited in

(4)

• Towards MC/DC coverage of properties specification patterns
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
• Formal Approaches to Software Testing

Describes a project that uses

Uses Software

• GOAL
• SPIN

This page was built for publication: State coverage metrics for specification-based testing with Büchi automata

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