Issued Patents All Time
Showing 1–5 of 5 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 |
| 9189743 | System, method, and computer program product for constraint solving | Marat Teplitsky, Kalev Alpernas | 2015-11-17 |
| 8656368 | System, method, and computer program product for abstract software performance profiling | Meir Ovadia | 2014-02-18 |
| 8560893 | Systems and methods for automatically generating executable system level-tests from a partially specified scenario | Yoav Hollander, Vitaly Lagoon, Matan Vax | 2013-10-15 |