| 9229684 |
Automated corruption analysis of service designs |
Anuradha Bhamidipaty, Anshu N. Jain, Nidhi Rajshree |
2016-01-05 |
| 9229685 |
Automated corruption analysis of service designs |
Anuradha Bhamidipaty, Anshu N. Jain, Nidhi Rajshree |
2016-01-05 |
| 8849631 |
Protocol independent telephony call lifecycle management scheme |
Shiri Kremer-Davidson, Mila Keren, Dmitri Pikus |
2014-09-30 |
| 8752002 |
Automatically generating artifacts for service delivery |
Guruduth Somasekhara Banavar, Ketki A. Dhanesha, Anshu N. Jain, Inderpreet S. Thukral |
2014-06-10 |
| 8578324 |
Variability layer for domain-specific modeling languages |
Julia Rubin, Tal Haham |
2013-11-05 |
| 8146051 |
Method and computer program product for providing a representation of software modeled by a model |
Shiri Kremer, Yael Shaham-Gafni, Netta M. Shani |
2012-03-27 |
| 7272752 |
Method and system for integrating test coverage measurements with model based test generation |
Eitan Farchi, Daniel Geist, Paul Kram, Kenneth Nagin, Yael Shaham-Gafni +1 more |
2007-09-18 |
| 7117484 |
Recursive use of model based test generation for middleware validation |
Kenneth Nagin, Guy Sharon |
2006-10-03 |
| 7089534 |
Model based test generation for validation of parallel and concurrent software |
Andrei Kirshin, Kenneth Nagin, Sergey Olvovsky, Aviad Zlotnick |
2006-08-08 |
| 7085748 |
Hyper-arc consistency in a contraint satisfaction network |
Roy Emek, Gil Eliezer Shurek, Michael Veksler |
2006-08-01 |
| 7055065 |
Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules |
Eitan Farchi, Paul Kram, Kenneth Nagin |
2006-05-30 |
| 7024589 |
Reducing the complexity of finite state machine test generation using combinatorial designs |
Andrei Kirshin, Kenneth Nagin, Sergey Olvovsky |
2006-04-04 |
| 6944848 |
Technique using persistent foci for finite state machine based software test generation |
Kenneth Nagin, Paul Kram |
2005-09-13 |
| 6647492 |
Method of providing persistent memory to a hand-held platform operating system on a computer system |
Robert Nathan |
2003-11-11 |
| 6335733 |
Method and system for displaying and editing a resource schedule |
Mila Keren, Doron Cohen, Avraham Harpaz, Mel Shalev |
2002-01-01 |
