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

DOI10.1007/978-3-642-21768-5_13zbMATH Open1335.68147OpenAlexW202682297MaRDI QIDQ3012971FDOQ3012971

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata-Theoretic Model Checking Revisited
• Title not available (Why is that?)
• A Logic-Based Approach to Combinatorial Testing with Constraints
• Title not available (Why is that?)
• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN

Cited In (3)

• Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
• Towards MC/DC coverage of properties specification patterns
• Formal Approaches to Software Testing

Uses Software

• SPIN
• GOAL

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)