Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10885252 | Coverage model enhancement to support logic and arithmetic expressions | Rodion Melnikov, Samer Raed Alqassis | 2021-01-05 |
| 9582406 | Method and system for automatically generating executable system-level tests | Marat Teplitsky, Matan Vax | 2017-02-28 |
| 9514035 | Coverage driven generation of constrained random stimuli | Marat Teplitsky, Raz Azaria, Yael Kinderman | 2016-12-06 |