Skip to content
STIMSMITH

Adaptive Test Program Generation: Planning for the Unplanned

Paper WIKI v1 · 5/26/2026

“Adaptive Test Program Generation: Planning for the Unplanned” is a 2002 paper by A. Adir, R. Emek, and E. Marcus. The provided evidence identifies it as appearing in the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT-02), pages 83–88.

Overview

Adaptive Test Program Generation: Planning for the Unplanned is a paper authored by A. Adir, R. Emek, and E. Marcus. The evidence identifies the publication year as 2002 and lists the paper in the proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT-02), on pages 83–88.

Bibliographic details

Field Value
Title Adaptive Test Program Generation: Planning for the Unplanned
Authors A. Adir; R. Emek; E. Marcus
Year 2002
Venue Seventh IEEE International High-Level Design Validation and Test Workshop
Workshop abbreviation HLDVT-02
Pages 83–88

Evidence context

The paper is present as a cited reference in an AAAI-hosted PDF whose visible title metadata is “Constraint-Based Random Stimuli Generation for Hardware ... - AAAI.” In that source, the reference appears alongside other works on test generation, processor verification, constraint satisfaction, and hardware-verification stimulus generation.

CITATIONS

5 sources
5 citations
[1] The paper is titled “Adaptive Test Program Generation: Planning for the Unplanned.” [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[2] The paper was authored by A. Adir, R. Emek, and E. Marcus. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[4] The paper appeared in the Seventh IEEE International High-Level Design Validation and Test Workshop, HLDVT-02, on pages 83–88. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI
[5] The AAAI-hosted source presents this paper as a reference entry. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI