Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8560893 | Systems and methods for automatically generating executable system level-tests from a partially specified scenario | Yoav Hollander, Efrat Gavish, Matan Vax | 2013-10-15 |
| 7870523 | System and method for test generation with dynamic constraints using static analysis and multidomain constraint reduction | Shlomi Uziel, Amos Noy, Yael Kinderman, Amit Gal | 2011-01-11 |
| 7613973 | Method for providing bitwise constraints for test generation | Guy Baruch | 2009-11-03 |
| 6918076 | Method for providing bitwise constraints for test generation | Guy Barruch | 2005-07-12 |