Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12253936 | Validating inter-partition communication in microservice decomposition | Eli Arbel, Saurabh Sinha, Maja Vukovic | 2025-03-18 |
| 11521409 | Hybrid clustering and pairwise comparison document matching | Lucas Liu, Brian Midei, Dagmawi Sraj, Thomas N. Adams, Tianqiong Wang | 2022-12-06 |
| 11003567 | Method and apparatus for test modeling | Howard M. Hess, Eitan Farchi, Orna Raz, Aviad Zlotnick | 2021-05-11 |
| 10489280 | Method and apparatus for test modeling | Howard M. Hess, Eitan Farchi, Orna Raz, Aviad Zlotnick | 2019-11-26 |
| 9703688 | Progress metric for combinatorial models | Hsu Chien-Jen, Itai Segall, Aviad Zlotnick | 2017-07-11 |
| 9454466 | Explaining partially illegal combinations in combinatorial models | Alexander Ivrii, Itai Segall | 2016-09-27 |
| 9274933 | Pretest setup planning | Howard M. Hess, Aviad Zlotnick | 2016-03-01 |
| 9262307 | Modeling test space for system behavior with optional variable combinations | Itai Segall, Aviad Zlotnick | 2016-02-16 |
| 9244819 | Attribute value properties for test selection with cartesian product models | Eitan Farchi, Howard M. Hess, Itai Segall, Aviad Zlotnick | 2016-01-26 |
| 9218271 | Test planning based on dynamic coverage analysis | Itai Segall | 2015-12-22 |
| 9015012 | Completion of partial coverage tasks | — | 2015-04-21 |
| 8990626 | Method and apparatus for determining relevance of assignments in combinatorial models | Eitan Farchi, Itai Segall | 2015-03-24 |
| 8954310 | Automatic designation of equivalent variable values | Eitan Farchi, Itai Segall | 2015-02-10 |
| 8914757 | Explaining illegal combinations in combinatorial models | Sharon Keidar-Barner, Itai Segall | 2014-12-16 |
| 8887112 | Test validation planning | Itai Segall, Aviad Zlotnick | 2014-11-11 |
| 8868977 | Utilizing auxiliary variables in modeling test space for system behavior | Ariel J. Birnbaum, Steven Mittermaier, Itai Segall, Avi Ziv | 2014-10-21 |
| 8813036 | Visual representation of a difference between Cartesian product models | — | 2014-08-19 |
| 8756460 | Test selection based on an N-wise combinations coverage | Dale E. Blue | 2014-06-17 |
| 8719799 | Measuring coupling between coverage tasks and use thereof | Yoram Simha Adler, Moshe Klausner, Orna Raz, Onn Menahem Shehory, Aviad Zlotnick | 2014-05-06 |
| 8719789 | Measuring coupling between coverage tasks and use thereof | Yoram Simha Adler, Moshe Klausner, Orna Raz, Onn Menahem Shehory, Aviad Zlotnick | 2014-05-06 |
| 8656341 | BDD-based functional coverage analysis | Itai Segall, Tatyana Veksler | 2014-02-18 |
| 8595676 | BDD-based functional modeling | Itai Segall, Tatyana Veksler | 2013-11-26 |