Issued Patents All Time
Showing 51–65 of 65 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7712081 | Using code motion and write and read delays to increase the probability of bug detection in concurrent systems | Marina Biberstein, Shmuel Ur | 2010-05-04 |
| 7661099 | Using idempotent operations to improve transaction performance | Shachar Fienblit, Amiram Hayardeny, Rivka M. Matosevich, Ifat Nuriel, Sheli Rahav +1 more | 2010-02-09 |
| 7617484 | Concern based hole analysis | Shachar Fienblit, Moran Shochat | 2009-11-10 |
| 7574697 | Testing parallel applications using code instrumentation | Marina Biberstein, Yarden Nir, Shmuel Ur | 2009-08-11 |
| 7546589 | Semi-automated desk checking system and method | Shachar Fienblit, Amiram Hayardeny, Shmuel Ur | 2009-06-09 |
| 7512618 | Automatic inspection tool | George Inness, Shmuel Ur | 2009-03-31 |
| 7412692 | Determining minimal sets of bug solutions for a computer program | Marina Biberstein, Shay Bushinsky, Shmuel Ur | 2008-08-12 |
| 7356527 | Lossy index compression | David Carmel, Doron Cohen, Ronald Fagin, Michael Herscovici, Yoelle Maarek +1 more | 2008-04-08 |
| 7272752 | Method and system for integrating test coverage measurements with model based test generation | Daniel Geist, Alan Hartman, Paul Kram, Kenneth Nagin, Yael Shaham-Gafni +1 more | 2007-09-18 |
| 7055065 | Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules | Alan Hartman, Paul Kram, Kenneth Nagin | 2006-05-30 |
| 6978444 | Computer-implemented method and system for automatically invoking a predetermined debugger command at a desired location of a single thread of a program | Shmuol Ur, Avi Ziv | 2005-12-20 |
| 6941297 | Automatic query refinement | David Carmel, Yael Petruschka | 2005-09-06 |
| 6851075 | Race detection for parallel software | Shmuel Ur, Gil Ratsaby | 2005-02-01 |
| 6779135 | Interleaving based coverage models for concurrent and distributed software | Shmuel Ur | 2004-08-17 |
| 6094706 | Caching in a data processing system using the pigeon hole principle | Michael Factor | 2000-07-25 |