| 9612942 |
Verification of a computer program in respect to an unexpected response to an access request |
Daniel Citron, Aviad Zlotnick |
2017-04-04 |
| 8607198 |
Cross-concern code coverage assessment |
Dan Pelleg, Orna Raz-Pelleg, Shmuel Ur, Aviad Zlotnick |
2013-12-10 |
| 8479166 |
Detecting locking discipline violations on shared resources |
Orna Raz-Pelleg, Rachel Tzoref, Shmuel Ur, Aviad Zlotnick |
2013-07-02 |
| 8370799 |
Provision of code base modification using automatic learning of code changes |
Brian Peterson, Christopher Ward |
2013-02-05 |
| 8141050 |
Deadlock detection by lock classification |
Eitan Farchi, Shmuel Ur |
2012-03-20 |
| 8006138 |
Software quality assessment based on semantic similarities |
Dan Pelleg, Orna Raz-Pelleg, Shmuel Ur, Aviad Zlotnick |
2011-08-23 |
| 7783806 |
Deadlock prevention in a computing environment |
Rachel Tzoref, Shmuel Ur |
2010-08-24 |
| 7539979 |
Method and system for forcing context-switch during mid-access to non-atomic variables |
— |
2009-05-26 |
