Constraint satisfaction for test program generation
PaperFirst seen 7/8/2026
Last seen 8/1/2026
Evidence 3 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
16 connectionsE. Roytman is listed as a co-author of this paper.
Gil Shurek is listed as an author of the Constraint Satisfaction paper.
D. Lewin is listed as a co-author of this paper.
L. Fournier is listed as a co-author of this paper.
M. Levinger is listed as a co-author of this paper.
The paper introduces the constraint satisfaction technique for test program generation.
Daniel R. Lewin is listed as a corresponding author of the paper.
The paper is directly concerned with automatic test program generation.
The paper references constraint-based automatic test data generation as prior work.
G. Shurek is listed as a co-author of this paper.
The paper focuses on memory access generation as a central problem in automatic test generation.
Laurent Sébastien Fournier is listed as a co-author of the paper.
Moshe Levinger is listed as a co-author of the paper.
All authors of the paper are affiliated with IBM Research - Haifa.
The paper describes a framework and algorithm for address constraint satisfaction.
The paper applies constraint satisfaction as the core technique for test program generation.