Grey-Box Checking

DOI10.1007/11888116_30MaRDI QIDQ3613088zbMATH OpenOpenAlexFDO

Authors Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu

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)

Recommendations

• scientific article; zbMATH DE number 1418458
• scientific article; zbMATH DE number 1916673
• scientific article; zbMATH DE number 2080060
• Probabilistic black-box reachability checking (extended version)
• Adaptive Model Checking

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)