| |
| 1983 | ||
|---|---|---|
| 4 | Paul R. McMullin, John D. Gannon: Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9(3): 328-335 (1983) | |
| 1982 | ||
| 3 | Paul R. McMullin, John D. Gannon, Mark Weiser: Implementing a Compiler-Based Test Tool. Softw., Pract. Exper. 12(10): 971-979 (1982) | |
| 1981 | ||
| 2 | EE | John D. Gannon, Paul R. McMullin, Richard G. Hamlet: Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3(3): 211-223 (1981) |
| 1 | EE | Paul R. McMullin, John D. Gannon: Evaluating a data abstraction testing system based on formal specifications. Journal of Systems and Software 2(2): 177-186 (1981) |
| 1 | John D. Gannon | [1] [2] [3] [4] |
| 2 | Richard G. Hamlet | [2] |
| 3 | Mark Weiser | [3] |