Issued Patents All Time
Showing 26–50 of 65 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9665710 | Mitigating ROP attacks | Omer Y. Boehm, Oded Margalit, Yousef Shajrawi, Michael Vinov | 2017-05-30 |
| 9665717 | Mitigating ROP attacks | Omer Y. Boehm, Oded Margalit, Yousef Shajrawi, Michael Vinov | 2017-05-30 |
| 9606815 | API prioritization and detection | Maayan Goldstein, Onn Menahem Shehory | 2017-03-28 |
| 9600347 | Verifying synchronization coverage in logic code | Rachel Tzoref, Ehud Trainin, Aviad Zlotnick | 2017-03-21 |
| 9576138 | Mitigating ROP attacks | Omer Y. Boehm, Oded Margalit, Yousef Shajrawi, Michael Vinov | 2017-02-21 |
| 9244819 | Attribute value properties for test selection with cartesian product models | Howard M. Hess, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick | 2016-01-26 |
| 9189372 | Trace coverage analysis | Yoram Simha Adler, Orna Raz-Pelleg | 2015-11-17 |
| 9158533 | Manipulating source code patches | Abel Gordon, Nadav Yosef Har'El, Moran Shochat | 2015-10-13 |
| 9052983 | Source code patches | Abel Gordon, Nadav Yosef Har'El, Moran Shochat | 2015-06-09 |
| 8990626 | Method and apparatus for determining relevance of assignments in combinatorial models | Itai Segall, Rachel Tzoref-Brill | 2015-03-24 |
| 8954310 | Automatic designation of equivalent variable values | Itai Segall, Rachel Tzoref-Brill | 2015-02-10 |
| 8826223 | Techniques for objective assessment and improvement of software quality | Parijat Dube | 2014-09-02 |
| 8738563 | Comparing data series associated with two systems to identify hidden similarities between them | Onn Menahem Shehory, Moran Shochat | 2014-05-27 |
| 8516445 | Multi-dimension code coverage | Shmuel Ur | 2013-08-20 |
| 8452813 | Test planning using attribute value properties | Itay Segall, Aviad Zlotnick | 2013-05-28 |
| 8448141 | Evaluation of software based on change history | Lawrence Carter Blount, Shachar Fienblit, Sergey Novikov, Orna Raz-Pelleg | 2013-05-21 |
| 8448147 | Heterogenic Coverage Analysis | Orna Raz, Yochai Ben-Chaim, Hana Chockler, Lawrence Carter Blount, Aviad Zlotnick | 2013-05-21 |
| 8423960 | Evaluation of software based on review history | Sergey Novikov, Orna Raz-Pelleg | 2013-04-16 |
| 8418159 | Using idempotent operations to improve transaction performance | Shachar Fienblit, Amiram Hayardeny, Rivka M. Matosevich, Ifat Nuriel, Sheli Rahav +1 more | 2013-04-09 |
| 8370816 | Device, method and computer program product for evaluating a debugger script | Shachar Fienblit, Shay Gammer, Sheli Rahav, Orna Raz-Pelleg, Dalit Tzafrir +1 more | 2013-02-05 |
| 8327334 | Replay of program executions using cross-entropy | Hana Chockler, Benyamin Godlin | 2012-12-04 |
| 8141050 | Deadlock detection by lock classification | Yarden Nir-Buchbinder, Shmuel Ur | 2012-03-20 |
| 8056059 | Using cross-entropy to test executable logic code | Hana Chockler, Benyamin Godlin, Sergey Novikov | 2011-11-08 |
| 7853932 | System, method and computer program product for checking a software entity | Hana Chockler, Ziv Glazberg, Benyamin Godlin | 2010-12-14 |
| 7793263 | Decision support tool for interleaving review software testing | Ziv Glazberg, Ishai Rabinovitz | 2010-09-07 |