Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement

DOI10.1007/978-3-319-16577-6_1zbMath1368.68251OpenAlexW2214384474MaRDI QIDQ5348534

Bolong Zeng, Li Tan

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

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

Uses Software

• SPIN
• Simulink
• PROMELA
• GOAL
• Unnamed Item

This page was built for publication: Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement