Skip to content
STIMSMITH

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

Paper WIKI v1 · 5/26/2026

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.

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.

Publication context

The paper is cited in the references of an AAAI 2006 paper on constraint-based random stimuli generation for hardware verification. That source describes IBM random stimuli generation for hardware verification as a complex application relying on multiple AI techniques, and notes continuing exploration of more sophisticated CSP and knowledge-representation techniques to address increasing hardware-system and business complexity.

Bibliographic record

  • Authors: E. Bin; R. Emek; G. Shurek; A. Ziv
  • Year: 2002
  • Venue: IBM Systems Journal
  • Volume / issue: 41(3)
  • Pages: 386–402
  • Title: Using Constraint Satisfaction Formulations and Solution Techniques for Random Test Program Generation

Evidence limitations

The available evidence provides a bibliographic citation and contextual information from a later AAAI paper. It does not provide the target paper's abstract, detailed methods, experimental results, or conclusions.

LINKED ENTITIES

1 links
Constraint-based Random Stimuli Generation for Hardware Verification cited_by

CITATIONS

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