| |
| 1989 | ||
|---|---|---|
| 2 | EE | Marc J. Balcer, William M. Hasling, Thomas J. Ostrand: Automatic Generation of Test Scripts from Formal Test Specifications. Symposium on Testing, Analysis, and Verification 1989: 210-218 |
| 1988 | ||
| 1 | Thomas J. Ostrand, Marc J. Balcer: The Category-Partition Method for Specifying and Generating Functional Tests. Commun. ACM 31(6): 676-686 (1988) | |
| 1 | William M. Hasling | [2] |
| 2 | Thomas J. Ostrand | [1] [2] |