Skip to content
STIMSMITH

IBM Research - Haifa

Organization
First seen 6/15/2026
Last seen 7/9/2026
Evidence 3 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

7 connections
Constraint satisfaction for test program generation ← published by 95% 1e
All authors of the paper are affiliated with IBM Research - Haifa.
Daniel R. Lewin ← part of 100% 1e
Daniel R. Lewin is affiliated with IBM Research - Haifa.
Laurent Sébastien Fournier ← part of 100% 1e
Laurent Sébastien Fournier is affiliated with IBM Research - Haifa.
Moshe Levinger ← part of 100% 1e
Moshe Levinger is affiliated with IBM Research - Haifa.
E. Roytman ← part of 100% 1e
E. Roytman is affiliated with IBM Research - Haifa.
Gil Shurek ← part of 100% 1e
Gil Shurek is affiliated with IBM Research - Haifa.
The paper originates from IBM Research - Haifa.