Issued Patents All Time
Showing 201–225 of 239 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8589882 | Analyzing computer code development actions and process | Moran Shochat, Itzhack Goldberg, Aviad Zlotnick | 2013-11-19 |
| 8516445 | Multi-dimension code coverage | Eitan Farchi | 2013-08-20 |
| 8479166 | Detecting locking discipline violations on shared resources | Yarden Nir-Buchbinder, Orna Raz-Pelleg, Rachel Tzoref, Aviad Zlotnick | 2013-07-02 |
| 8397104 | Creation of test plans | Aviad Zlotnick | 2013-03-12 |
| 8386851 | Functional coverage using combinatorial test design | — | 2013-02-26 |
| 8370821 | Method for enabling profile-based call site tailor-ing using profile gathering of cloned functions | Gad Haber, Roy Levin | 2013-02-05 |
| 8356287 | Device, system and method of debugging computer programs | Rachel Tzoref, Elad Yom-Tov | 2013-01-15 |
| 8141050 | Deadlock detection by lock classification | Eitan Farchi, Yarden Nir-Buchbinder | 2012-03-20 |
| 8121827 | Efficient presentation of functional coverage results | Yehezkel Azatchi, Eitan Marcus, Avi Ziv, Keren Zohar | 2012-02-21 |
| 8019824 | Remotely operating computer software applications using low bandwidth | Ziv Glazberg, Ishai Rabinovitz | 2011-09-13 |
| 8006138 | Software quality assessment based on semantic similarities | Yarden Nir-Buchbinder, Dan Pelleg, Orna Raz-Pelleg, Aviad Zlotnick | 2011-08-23 |
| 7996799 | Verification technique | Monica Farkash | 2011-08-09 |
| 7958082 | Application data replication between computers | Boaz Mizrachi | 2011-06-07 |
| 7958400 | Detecting unexpected impact of software changes using coverage analysis | — | 2011-06-07 |
| 7865340 | Probabilistic regression suites for functional verification | Shai Fine, Avi Ziv, Simon Rushton | 2011-01-04 |
| 7783806 | Deadlock prevention in a computing environment | Yarden Nir-Buchbinder, Rachel Tzoref | 2010-08-24 |
| 7765475 | List display with redundant text removal | Elad Yom-Tov | 2010-07-27 |
| 7729891 | Probabilistic regression suites for functional verification | Shai Fine, Avi Ziv, Simon Rushton | 2010-06-01 |
| 7712081 | Using code motion and write and read delays to increase the probability of bug detection in concurrent systems | Marina Biberstein, Eitan Farchi | 2010-05-04 |
| 7636871 | Method for comparing customer and test load data with comparative functional coverage hole analysis | Dale E. Blue | 2009-12-22 |
| 7580888 | Facilitating simulated purchases of items by virtual representations of participants in computer-based simulations | — | 2009-08-25 |
| 7574697 | Testing parallel applications using code instrumentation | Marina Biberstein, Eitan Farchi, Yarden Nir | 2009-08-11 |
| 7546589 | Semi-automated desk checking system and method | Eitan Farchi, Shachar Fienblit, Amiram Hayardeny | 2009-06-09 |
| 7529803 | Searching electronic mail and messages | Avner Levi, Yaron Arbetman | 2009-05-05 |
| 7512618 | Automatic inspection tool | Eitan Farchi, George Inness | 2009-03-31 |