Constraint satisfaction for test program generation
PaperFirst seen 7/8/2026
Last seen 7/8/2026
Evidence 2 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
15 connectionsE. Roytman is listed as an author of the Constraint Satisfaction paper.
Gil Shurek is listed as an author of the Constraint Satisfaction 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.
The paper focuses on memory access generation as a central problem in automatic test generation.
The paper is directly concerned with automatic test program generation.
The paper references constraint-based automatic test data generation as prior work.
L. Fournier is listed as an author of the Constraint Satisfaction paper.
D. Lewin is listed as an author of the Constraint Satisfaction paper.
M. Levinger is listed as an author of the Constraint Satisfaction paper.
Daniel R. Lewin is listed as a corresponding author of the paper.
The paper introduces constraint satisfaction techniques for test program generation.
Laurent Sébastien Fournier is listed as a co-author of the paper.