Bayesian Network Coverage-Directed Test Generation

Technique

Bayesian Network Coverage-Directed Test Generation is a coverage-guided test-generation technique based on Bayesian networks. In the available evidence, it appears as prior related work discussed alongside other machine-learning-based and formal test-generation approaches in a paper on cross-level processor verification using coverage-guided fuzzing.

First seen 5/28/2026

Last seen 5/28/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

Bayesian Network Coverage-Directed Test Generation refers to coverage-guided test generation based on Bayesian networks. The available evidence identifies it as part of the broader set of techniques used for verification-oriented test-case generation, alongside other machine-learning techniques and formal methods based on symbolic execution.

Placement in the verification landscape

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing ← compares with 75% 1e

The paper discusses Bayesian network-based coverage directed test generation as a related approach.

LINKED ENTITIES

1 links

Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing COMPARES_WITH Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] Bayesian Network Coverage-Directed Test Generation is a coverage-guided test-generation technique based on Bayesian networks. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

[2] The technique is discussed as related work alongside other machine-learning techniques, symbolic-execution-based test-case generation, and fuzzing-based processor-emulator testing. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

[3] The related paper describes AFL as an out-of-process coverage-guided grey-box fuzzer that detects new behaviors through edge coverage and uses mutations including bitflip, arithmetic, and havoc mutations. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

[4] The supplied evidence does not include internal algorithmic details of the Bayesian-network-based test-generation method. Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing