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