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
• A temporal logic based theory of test coverage and generation
• 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
• A temporal logic based theory of test coverage and generation
• Automata-Theoretic Model Checking Revisited
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• From states to transitions: Improving translation of LTL formulae to Büchi automata
• scientific article; zbMATH DE number 710624 (Why is no real title available?)
• Using SPIN to verify security properties of cryptographic protocols

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)