| Number | Name | Date | Kind |
|---|---|---|---|
| 3931505 | Sevcik | Jan 1976 | |
| 3937938 | Matthews | Feb 1976 | |
| 4423508 | Shiozaki | Dec 1983 | |
| 4533997 | Furgerson | Aug 1985 |
| Entry |
|---|
| C. A. Heuermann, "Automated Test and Verification", IBM TDB, vol. 17, No. 7, 12/1974, pp. 2030-2031. |
| K. C. Knowlton, "A Combination Hardware-Software Debugging System, IEEE Transactions on Computers", 1/1968, pp. 84-86. |