Publications

53 results for Eitan Farchi

Rigorous testing using SnapShot
- - M. Factor
  - Eitan Farchi
  - et al.
- 1997
- Israel ICCSSE 1997
Testing concurrent programs:A formal evaluation of coverage criteria
- - Michael Factor
  - Eitan Farchi
  - et al.
- 1996
- Israel ICCSSE 1996
Using true concurrency to model execution of parallel programs
- - Yosi Ben-Asher
  - Eitan Farchi
- 1994
- Int. J. Parallel Program