State coverage metrics for specification-based testing with Büchi automata
From MaRDI portal
Publication:3012971
Recommendations
Cites work
- 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?)
- 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
Cited in
(3)
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)