Patent | Date |
---|
Method And Apparatus For Generating Questions App 20130196305 - Adir; Allon ;   et al. | 2013-08-01 |
Context-based failure reporting for a constraint satisfaction problem Grant 8,433,668 - Emek , et al. April 30, 2 | 2013-04-30 |
Context-based Failure Reporting For A Constraint Satisfaction Problem App 20130080363 - Emek; Roy ;   et al. | 2013-03-28 |
Automatic generation of test suite for processor architecture compliance Grant 8,280,713 - Adir , et al. October 2, 2 | 2012-10-02 |
Highly specialized scenarios in random test generation Grant 8,161,440 - Emek , et al. April 17, 2 | 2012-04-17 |
Determining compliance rates for probabilistic requests Grant 8,140,457 - Copty , et al. March 20, 2 | 2012-03-20 |
Context-based Failure Reporting For A Constraint Satisfaction Problem App 20100312738 - Emek; Roy ;   et al. | 2010-12-09 |
Random stimuli generation of memory maps and memory allocations Grant 7,788,610 - Emek , et al. August 31, 2 | 2010-08-31 |
Systematic compliance checking of a process Grant 7,673,261 - Adir , et al. March 2, 2 | 2010-03-02 |
Determining Compliance Rates For Probabilistic Requests App 20100010950 - COPTY; SHADY ;   et al. | 2010-01-14 |
Highly Specialized Scenarios In Random Test Generation App 20090313590 - Emek; Roy ;   et al. | 2009-12-17 |
Dynamically interleaving randomly generated test-cases for functional verification Grant 7,627,843 - Dozorets , et al. December 1, 2 | 2009-12-01 |
Context-based failure reporting for a constraint satisfaction problem Grant 7,562,061 - Emek , et al. July 14, 2 | 2009-07-14 |
Automatic Generation of Test Suite for Processor Architecture Compliance App 20080255822 - Adir; Allon ;   et al. | 2008-10-16 |
Highly specialized scenarios in random test generation Grant 7,434,101 - Adir , et al. October 7, 2 | 2008-10-07 |
Determining compliance rates for probabilistic requests Grant 7,415,444 - Copty , et al. August 19, 2 | 2008-08-19 |
Systematic Compliance Checking of a Process App 20080189094 - Adir; Allon ;   et al. | 2008-08-07 |
Determining Compliance Rates For Probabilistic Requests App 20080189230 - Copty; Shady ;   et al. | 2008-08-07 |
Accelerated solution of constraint satisfaction problems by partitioning of the variable space Grant 7,409,377 - Emek , et al. August 5, 2 | 2008-08-05 |
Random Stimuli Generation Of Memory Maps And Memory Allocations App 20080177968 - Emek; Roy ;   et al. | 2008-07-24 |
Harnessing machine learning to improve the success rate of stimuli generation Grant 7,331,007 - Fine , et al. February 12, 2 | 2008-02-12 |
Determining Compliance Rates for Probabilistic Requests App 20070271207 - Copty; Shady ;   et al. | 2007-11-22 |
Context-Based Failure Reporting For A Constraint Satisfaction Problem App 20070255667 - Emek; Roy ;   et al. | 2007-11-01 |
System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems Grant 7,266,534 - Emek , et al. September 4, 2 | 2007-09-04 |
Solving Constraint Satisfaction Problems With Duplicated Sub-problems App 20070094184 - Emek; Roy ;   et al. | 2007-04-26 |
Harnessing machine learning to improve the success rate of stimuli generation App 20070011631 - Fine; Shai ;   et al. | 2007-01-11 |
Dynamically interleaving randomly generated test-cases for functional verification App 20060218513 - Dozorets; Igor ;   et al. | 2006-09-28 |
Highly specialized scenarios in random test generation App 20060212756 - Emek; Roy ;   et al. | 2006-09-21 |
Accelerated solution of constraint satisfaction problems by partitioning of the variable space App 20050222827 - Emek, Roy ;   et al. | 2005-10-06 |