| 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 |
