| 12423288 |
Target environment data seeding |
Bar Jakubovitz, Shai Rubin, Yehonatan Mazar, David Anaton, Shahar Yalov |
2025-09-23 |
|
| 12014359 |
Distributed database methods and systems |
Oren Glickman |
2024-06-18 |
|
| 11841836 |
Target environment data seeding |
Bar Jakubovitz, Shai Rubin, Yehonatan Mazar, David Anaton, Shahar Yalov |
2023-12-12 |
|
| 11593792 |
Distributed database methods and systems |
Oren Glickman |
2023-02-28 |
|
| 11269757 |
Production data in continuous integration flows |
Ariel Berkman |
2022-03-08 |
|
| 11074231 |
Validating modifications to mapping statements for processing hierarchical data structures |
Barak Adorian, Ido Grabinsky, Itai Kranz, Rahul Gudla, Boris Bulanov |
2021-07-27 |
|
| 10956301 |
Production data in continuous integration flows |
Ariel Berkman |
2021-03-23 |
|
| 8458652 |
Device, system and method of modeling homogeneous information |
Allon Adir, Eitan Marcus, Gil Eliezer Shurek |
2013-06-04 |
$4,195,000 |
| 8433668 |
Context-based failure reporting for a constraint satisfaction problem |
Itai Jaeger, Yehuda Naveh |
2013-04-30 |
$11,965,000 |
| 8161440 |
Highly specialized scenarios in random test generation |
Itai Jaeger, Tzach Schechner |
2012-04-17 |
$5,847,000 |
| 8140457 |
Determining compliance rates for probabilistic requests |
Shady Copty, Itai Jaeger, Yoav Katz, Shai Lubliner |
2012-03-20 |
$2,170,000 |
| 7788610 |
Random stimuli generation of memory maps and memory allocations |
Itai Jaeger, Yoav Katz |
2010-08-31 |
$3,369,000 |
| 7627843 |
Dynamically interleaving randomly generated test-cases for functional verification |
Igor Dozorets, Sanjay Gupta, Itai Jaeger, Lawrence Allyn McConville, Tzach Schechner +1 more |
2009-12-01 |
$16,004,000 |
| 7562061 |
Context-based failure reporting for a constraint satisfaction problem |
Itai Jaeger, Yehuda Naveh |
2009-07-14 |
$8,070,000 |
| 7434101 |
Highly specialized scenarios in random test generation |
Allon Adir, Itai Jaeger, Eitan Marcus, Tzach Schechner |
2008-10-07 |
$9,641,000 |
| 7415444 |
Determining compliance rates for probabilistic requests |
Shady Copty, Itai Jaeger, Yoav Katz, Shai Lubliner |
2008-08-19 |
$14,278,000 |
| 7412649 |
Viewing and editing markup language files with complex semantics |
Alex Goldin, Louis M. Weitzman |
2008-08-12 |
$8,244,000 |
| 7409377 |
Accelerated solution of constraint satisfaction problems by partitioning of the variable space |
Itai Jaeger |
2008-08-05 |
$7,485,000 |
| 7395196 |
Test-cases for functional verification of system-level interconnect |
— |
2008-07-01 |
$7,630,000 |
| 7386521 |
Automatic test program generation using extended conditional constraint satisfaction |
Allon Adir, Eyal Bin, Kirill Shoikhet |
2008-06-10 |
$5,963,000 |
| 7370296 |
Modeling language and method for address translation design mechanisms in test generation |
Anatoly Koyfman, Allon Adir, Yoav Katz, Michael Vinov |
2008-05-06 |
$12,943,000 |
| 7266534 |
System and method and product of manufacture for automated test generation via constraint satisfaction with duplicated sub-problems |
Itai Jaeger, Yoav Katz |
2007-09-04 |
$5,939,000 |
| 7085748 |
Hyper-arc consistency in a contraint satisfaction network |
Alan Hartman, Gil Eliezer Shurek, Michael Veksler |
2006-08-01 |
$2,070,000 |
| 7007207 |
Scheduling of transactions in system-level test program generation |
Yehuda Naveh |
2006-02-28 |
$8,236,000 |
| 6925405 |
Adaptive test program generation |
Allon Adir, Eitan Marcus |
2005-08-02 |
$7,293,000 |
