Issued Patents All Time
Showing 226–239 of 239 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7412692 | Determining minimal sets of bug solutions for a computer program | Marina Biberstein, Shay Bushinsky, Eitan Farchi | 2008-08-12 |
| 7389215 | Efficient presentation of functional coverage results | Yehezkel Azatchi, Eitan Marcus, Avi Ziv, Keren Zohar | 2008-06-17 |
| 7322016 | Impact checking technique | Monica Farkash | 2008-01-22 |
| 7272752 | Method and system for integrating test coverage measurements with model based test generation | Eitan Farchi, Daniel Geist, Alan Hartman, Paul Kram, Kenneth Nagin +1 more | 2007-09-18 |
| 7003420 | Late binding of variables during test case generation for hardware and software design verification | Avi Ziv | 2006-02-21 |
| 6851075 | Race detection for parallel software | Eitan Farchi, Gil Ratsaby | 2005-02-01 |
| 6779135 | Interleaving based coverage models for concurrent and distributed software | Eitan Farchi | 2004-08-17 |
| 6615046 | Automatic dispatch of mobile services | — | 2003-09-02 |
| 6373484 | Method and system for presenting data structures graphically | Dror Orell, Dror Zernick, Zachi Karni | 2002-04-16 |
| 6249283 | Using OCR to enter graphics as text into a clipboard | — | 2001-06-19 |
| 6212667 | Integrated circuit test coverage evaluation and adjustment mechanism and method | Charles P. Geer, Ronald Nick Kalla, Jerome M. Meyer | 2001-04-03 |
| 6072871 | Method and system for identifying the source of documents generated by software and documents generated thereby | — | 2000-06-06 |
| 5813771 | Method and apparatus for printer/scanner calibration | Eyal Yair | 1998-09-29 |
| 5568550 | Method and system for identifying documents generated by an unauthorized software copy | — | 1996-10-22 |