Publications

13 results for Gil Shurek

Using a constraint satisfaction formulation and solution techniques for random test program generation
- - Eyal Bin
  - Roy Emek
  - et al.
- 2002
- IBM Systems Journal
Paper
Test program generation for functional verification of PowerPC processors in IBM
- - Aharon Aharon
  - Dave Goodman
  - et al.
- 1995
- DAC 1995
Conference paper
Constraint satisfaction for test program generation
- - Daniel Lewin
  - Laurent Fournier
  - et al.
- 1995
- Phoenix IPCCC 1995
Conference paper