Issued Patents 2017
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9690681 | Method and system for automatically generating executable system-level tests | Meir Ovadia, Erez Singer | 2017-06-27 |
| 9582458 | Generation of a random sub-space of the space of assignments for a set of generative attributes for verification coverage closure | Yael Kinderman, Meirav O. Nitzan | 2017-02-28 |