Grey-Box Checking
From MaRDI portal
Recommendations
Cites work
- Computer Aided Verification
- scientific article; zbMATH DE number 1670783 (Why is no real title available?)
- scientific article; zbMATH DE number 4180789 (Why is no real title available?)
- scientific article; zbMATH DE number 1956591 (Why is no real title available?)
- scientific article; zbMATH DE number 2080060 (Why is no real title available?)
- Inference of finite automata using homing sequences
- Learning regular sets from queries and counterexamples
- Testing Software Design Modeled by Finite-State Machines
- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(8)- Probabilistic black-box reachability checking (extended version)
- Efficient active automata learning via mutation testing
- Adaptive Model Checking
- Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
- scientific article; zbMATH DE number 2080060 (Why is no real title available?)
- scientific article; zbMATH DE number 1916673 (Why is no real title available?)
- scientific article; zbMATH DE number 1418458 (Why is no real title available?)
- Computer Aided Verification
This page was built for publication: Grey-Box Checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613088)