Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8433668 | Context-based failure reporting for a constraint satisfaction problem | Roy Emek, Yehuda Naveh | 2013-04-30 |
| 8280713 | Automatic generation of test suite for processor architecture compliance | Allon Adir, Sigal Asaf, Laurent Fournier | 2012-10-02 |
| 8161440 | Highly specialized scenarios in random test generation | Roy Emek, Tzach Schechner | 2012-04-17 |
| 8140457 | Determining compliance rates for probabilistic requests | Shady Copty, Roy Emek, Yoav Katz, Shai Lubliner | 2012-03-20 |
| 7788610 | Random stimuli generation of memory maps and memory allocations | Roy Emek, Yoav Katz | 2010-08-31 |
| 7673261 | Systematic compliance checking of a process | Alion Adir, Sigal Asaf, Laurent Fournier, Ofer Peled | 2010-03-02 |
| 7627843 | Dynamically interleaving randomly generated test-cases for functional verification | Igor Dozorets, Roy Emek, Sanjay Gupta, Lawrence Allyn McConville, Tzach Schechner +1 more | 2009-12-01 |
| 7562061 | Context-based failure reporting for a constraint satisfaction problem | Roy Emek, Yehuda Naveh | 2009-07-14 |
| 7434101 | Highly specialized scenarios in random test generation | Allon Adir, Roy Emek, Eitan Marcus, Tzach Schechner | 2008-10-07 |
| 7415444 | Determining compliance rates for probabilistic requests | Shady Copty, Roy Emek, Yoav Katz, Shai Lubliner | 2008-08-19 |
| 7409377 | Accelerated solution of constraint satisfaction problems by partitioning of the variable space | Roy Emek | 2008-08-05 |
| 7331007 | Harnessing machine learning to improve the success rate of stimuli generation | Shai Fine, Ari Freund, Yehuda Naveh, Avi Ziv | 2008-02-12 |
| 7266534 | System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems | Roy Emek, Yoav Katz | 2007-09-04 |