Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement

DOI10.1007/978-3-319-16577-6_1MaRDI QIDQ5348534zbMATH OpenOpenAlexFDO

Authors Li Tan, Bolong Zeng

Publication date 18 August 2017

Published in Formalisms for Reuse and Systems Integration (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-16577-6_1

Mathematics Subject Classification ID

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

Recommendations

• State coverage metrics for specification-based testing with Büchi automata
• Complementary Criteria for Testing Temporal Logic Properties
• scientific article; zbMATH DE number 2080058
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing

Cited in

(3)

• Testing language containment for \(\omega\)-automata using BDDs
• State coverage metrics for specification-based testing with Büchi automata
• A compositional automata-based semantics and preserving transformation rules for testing property patterns

Describes a project that uses

Uses Software

• PROMELA
• GOAL
• Matlab
• Simulink
• SPIN

This page was built for publication: Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement

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