Using Constraint Satisfaction Formulations and Solution Techniques for Random Test Program Generation

Paper

A 2002 IBM Systems Journal paper by E. Bin, R. Emek, G. Shurek, and A. Ziv on applying constraint satisfaction formulations and solution techniques to random test program generation. The available evidence identifies its bibliographic details and places it in the context of IBM work on AI- and CSP-based random stimuli generation for hardware verification.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v1

WIKI

Overview

Using Constraint Satisfaction Formulations and Solution Techniques for Random Test Program Generation is a paper by E. Bin, R. Emek, G. Shurek, and A. Ziv. It was published in 2002 in IBM Systems Journal, volume 41, issue 3, on pages 386–402.

The title and bibliographic listing identify the paper as work on the use of constraint satisfaction formulations and solution techniques for random test program generation.

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

Constraint Satisfaction Problem mentions → 100% 2e

The paper discusses using CSP formulations for random test program generation.

LINKED ENTITIES

1 links

Constraint-based Random Stimuli Generation for Hardware Verification cited_by The provided AAAI PDF includes the target paper in its references.

CITATIONS

6 sources

6 citations — click to expand

[1] The paper is titled 'Using Constraint Satisfaction Formulations and Solution Techniques for Random Test Program Generation'. Constraint-Based Random Stimuli Generation for Hardware Verification

[2] The paper was authored by E. Bin, R. Emek, G. Shurek, and A. Ziv. Constraint-Based Random Stimuli Generation for Hardware Verification

[3] The paper was published in 2002 in IBM Systems Journal, volume 41, issue 3, pages 386–402. Constraint-Based Random Stimuli Generation for Hardware Verification

[4] The title and reference entry identify the paper as being about constraint satisfaction formulations and solution techniques for random test program generation. Constraint-Based Random Stimuli Generation for Hardware Verification

[5] The paper is cited in an AAAI 2006 paper on constraint-based random stimuli generation for hardware verification. Constraint-Based Random Stimuli Generation for Hardware Verification

[6] The AAAI 2006 source describes IBM random stimuli generation for hardware verification as a complex application relying on various AI techniques and notes ongoing exploration of CSP and knowledge-representation techniques. Constraint-Based Random Stimuli Generation for Hardware Verification