Issued Patents 2016
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9514035 | Coverage driven generation of constrained random stimuli | Marat Teplitsky, Amit Metodi, Yael Kinderman | 2016-12-06 |
| 9239773 | Method and system for debugging a program that includes declarative code and procedural code | Marat Teplitsky, Reuven Naveh, Rotem Gubes | 2016-01-19 |