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