Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6085029 | Method using a computer for automatically instrumenting a computer program for dynamic debugging | Adam K. Kolawa, Roman Salvador, Wendell Hicken | 2000-07-04 |
| 5860011 | Method and system for automatically checking computer source code quality based on rules | Adam K. Kolawa, Michael A. G. Aivazis, Wendell Hicken | 1999-01-12 |
| 5761408 | Method and system for generating a computer program test suite using dynamic symbolic execution | Adam K. Kolawa, Roman Salvador, Wendell Hicken | 1998-06-02 |
| 5581696 | Method using a computer for automatically instrumenting a computer program for dynamic debugging | Adam K. Kolawa, Roman Salvador, Wendell Hicken | 1996-12-03 |