Error checking with pointer variables. - Marvin V. Zelkowitz; Paul R. McMullin; Keith R. Merkel; Howard J. Larsen (ACM Annual Conference, 1976)

SIGPLAN(Paper Session). - Marvin V. Zelkowitz; Paul R. McMullin; Keith R. Merkel; Howard J. Larsen; Frederick C. Druseikis; G. David Ripley; David R. Hanson; Gary Lindstrom (ACM Annual Conference, 1976)

Testing traversable stacks. - John D. Gannon; Paul R. McMullin; Richard G. Hamlet; Mark A. Ardis (ACM SIGPLAN Notices, 1980)

Evaluating a data abstraction testing system based on formal specifications. - Paul R. McMullin; John D. Gannon (J. Syst. Softw., 1981)

Data-Abstraction Implementation, Specification, and Testing. - John D. Gannon; Paul R. McMullin; Richard G. Hamlet (ACM Trans. Program. Lang. Syst., 1981)

Implementing a Compiler-Based Test Tool. - Paul R. McMullin; John D. Gannon; Mark D. Weiser (Softw. Pract. Exp., 1982)

Combining Testing with Formal Specifications: A Case Study. - Paul R. McMullin; John D. Gannon (IEEE Trans. Software Eng., 1983)

Comparison of Structural Test Coverage Metrics. - Mark D. Weiser; John D. Gannon; Paul R. McMullin (IEEE Softw., 1985)