Improvements in coverability analysis
- Gil Ratsaby
- Baruch Sterin
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publications
Date
Featured collections
Popular topics
37 results for Shmuel Ur
Hole analysis for functional coverage data
- Oded Lachish
- Eitan Marcus
- et al.
- 2002
- Proceedings - Design Automation Conference
Multithreaded java program test generation
- O. Edelstein
- Eitan Farchi
- et al.
- 2002
- IBM Systems Journal
Multithreaded Java program test generation
- Orit Edelstein
- Eitan Farchi
- et al.
- 2001
- JGI 2001
User defined coverage-A tool supported methodology for design verification
- Raanan Grinwald
- Eran Harel
- et al.
- 1998
- DAC 1998
Rigorous testing using SnapShot
- M. Factor
- Eitan Farchi
- et al.
- 1997
- Israel ICCSSE 1997
A New Characterization of Graphs Based on Interception Relations
- Azaria Paz
- Judea Pearl
- et al.
- 1996
- Journal of Graph Theory