| 9710427 |
Verification of distributed symmetric multi-processing systems |
Ronny Morad, Tali Rabetti, Sergey Shusterman |
2017-07-18 |
| 9298670 |
Verification of distributed symmetric multi-processing systems |
Ronny Morad, Tali Rabetti |
2016-03-29 |
| 9218273 |
Automatic generation of a resource reconfiguring test |
Erez Lev Meir Bilgory, Ronny Morad, Tali Rabetti |
2015-12-22 |
| 8868976 |
System-level testcase generation |
Shimon Ben-Yehuda, Shady Copty, John D. Jabusch, Ronny Morad |
2014-10-21 |
| 8397217 |
Integrating templates into tests |
Ronny Morad, Wisam Kadry, Sergey Shusterman |
2013-03-12 |
| 8117499 |
Generation of a stimuli based on a test template |
Shady Copty |
2012-02-14 |
| 7752006 |
Device, system and method of generating a hardware-verification test case |
Shady Copty |
2010-07-06 |
