Skip to content
STIMSMITH

Bayesian Network Coverage-Directed Test Generation

Technique WIKI v1 · 5/28/2026

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.

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

The technique is mentioned in the related-work discussion of Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing. That paper situates Bayesian-network-based coverage-guided test generation among several verification and test-generation approaches, including:

  • coverage-guided test generation based on Bayesian networks,
  • other machine-learning-based test-generation techniques,
  • formal methods using symbolic execution for test-case generation at the instruction-set-simulator level, and
  • fuzzing-based techniques for processor-emulator testing.

The same paper compares its own coverage-guided fuzzing approach against prior processor-verification techniques. Its preliminaries describe AFL as an out-of-process coverage-guided grey-box fuzzer that uses edge coverage to detect new behaviors and applies mutations such as bit flips, arithmetic mutations, and havoc mutations. This provides context for how fuzzing-based approaches differ from other coverage-guided test-generation methods referenced in the related work.

Evidence limitations

The supplied evidence does not provide algorithmic details for the Bayesian-network-based technique itself, such as the Bayesian network structure, training procedure, coverage model, or test-selection policy. Therefore, this article only records what is directly supported: that the technique is coverage-guided, based on Bayesian networks, and cited as related work in processor-verification test generation.

LINKED ENTITIES

1 links
Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing COMPARES_WITH

CITATIONS

4 sources
4 citations
[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