Bayesian Networks
ConceptBayesian networks are referenced in the provided evidence as a technique used for coverage-guided test generation, specifically within the broader context of processor verification approaches alongside other machine-learning techniques.
First seen 5/26/2026
Last seen 5/26/2026
Evidence 1 chunks
Wiki v1
WIKI
Overview
In the provided evidence, Bayesian networks are mentioned as a basis for coverage-guided test generation. The cited processor-verification paper groups this use with other machine-learning techniques applied to test generation.
Technical Context in the Evidence
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsThe paper mentions Bayesian networks as a related technique for coverage-guided test generation.
CITATIONS
3 sources3 citations — click to collapse
[1] Bayesian networks are referenced as a basis for coverage-guided test generation. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing
[2] The evidence groups Bayesian-network-based coverage-guided test generation with other machine-learning techniques. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing
[3] The same discussion situates Bayesian-network-based test generation among other processor-verification approaches, including symbolic execution, fuzzing, directed RISC-V test suites, randomized patterns, constraint-based specifications, and coverage-guided fuzzing. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing