Grey-Box Checking

DOI10.1007/11888116_30zbMath1225.68113OpenAlexW1604756141MaRDI QIDQ3613088

Blaise Genest, Edith Elkind, Hongyang Qu, Doron A. Peled

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_30

Mathematics Subject Classification ID

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

Related Items (2)

Probabilistic black-box reachability checking (extended version) ⋮ Integration Testing of Distributed Components Based on Learning Parameterized I/O Models

Cites Work

• Learning regular sets from queries and counterexamples
• Inference of finite automata using homing sequences
• Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
• Testing Software Design Modeled by Finite-State Machines
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Grey-Box Checking