Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7272752 | Method and system for integrating test coverage measurements with model based test generation | Eitan Farchi, Daniel Geist, Alan Hartman, Kenneth Nagin, Yael Shaham-Gafni +1 more | 2007-09-18 |
| 7055065 | Method, system, and computer program product for automated test generation for non-deterministic software using state transition rules | Eitan Farchi, Alan Hartman, Kenneth Nagin | 2006-05-30 |
| 6944848 | Technique using persistent foci for finite state machine based software test generation | Alan Hartman, Kenneth Nagin | 2005-09-13 |
| 6314531 | Method and system for testing and debugging distributed software systems by using network emulation | — | 2001-11-06 |