Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |
| 8433668 | Context-based failure reporting for a constraint satisfaction problem | Itai Jaeger, Yehuda Naveh | 2013-04-30 |
| 8161440 | Highly specialized scenarios in random test generation | Itai Jaeger, Tzach Schechner | 2012-04-17 |
| 8140457 | Determining compliance rates for probabilistic requests | Shady Copty, Itai Jaeger, Yoav Katz, Shai Lubliner | 2012-03-20 |
| 7788610 | Random stimuli generation of memory maps and memory allocations | Itai Jaeger, Yoav Katz | 2010-08-31 |
| 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 |
| 7562061 | Context-based failure reporting for a constraint satisfaction problem | Itai Jaeger, Yehuda Naveh | 2009-07-14 |
| 7434101 | Highly specialized scenarios in random test generation | Allon Adir, Itai Jaeger, Eitan Marcus, Tzach Schechner | 2008-10-07 |
| 7415444 | Determining compliance rates for probabilistic requests | Shady Copty, Itai Jaeger, Yoav Katz, Shai Lubliner | 2008-08-19 |
| 7412649 | Viewing and editing markup language files with complex semantics | Alex Goldin, Louis M. Weitzman | 2008-08-12 |
| 7409377 | Accelerated solution of constraint satisfaction problems by partitioning of the variable space | Itai Jaeger | 2008-08-05 |
| 7395196 | Test-cases for functional verification of system-level interconnect | — | 2008-07-01 |
| 7386521 | Automatic test program generation using extended conditional constraint satisfaction | Allon Adir, Eyal Bin, Kirill Shoikhet | 2008-06-10 |
| 7370296 | Modeling language and method for address translation design mechanisms in test generation | Anatoly Koyfman, Allon Adir, Yoav Katz, Michael Vinov | 2008-05-06 |
| 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 |
| 7085748 | Hyper-arc consistency in a contraint satisfaction network | Alan Hartman, Gil Eliezer Shurek, Michael Veksler | 2006-08-01 |
| 7007207 | Scheduling of transactions in system-level test program generation | Yehuda Naveh | 2006-02-28 |
| 6925405 | Adaptive test program generation | Allon Adir, Eitan Marcus | 2005-08-02 |