Paul R. McMullin

Publication Activity (10 Years)

Years Active: 1976-1985
Publications (10 Years): 0

Publications

Mark D. Weiser, John D. Gannon, Paul R. McMullin
Comparison of Structural Test Coverage Metrics. IEEE Softw. 2 (2) (1985)
Paul R. McMullin, John D. Gannon
Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9 (3) (1983)
Paul R. McMullin, John D. Gannon, Mark D. Weiser
Implementing a Compiler-Based Test Tool. Softw. Pract. Exp. 12 (10) (1982)
John D. Gannon, Paul R. McMullin, Richard G. Hamlet
Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3 (3) (1981)
Paul R. McMullin, John D. Gannon
Evaluating a data abstraction testing system based on formal specifications. J. Syst. Softw. 2 (2) (1981)
John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis
Testing traversable stacks. ACM SIGPLAN Notices 15 (1) (1980)
Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen
Error checking with pointer variables. ACM Annual Conference (1976)
Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom
SIGPLAN(Paper Session). ACM Annual Conference (1976)