Paul R. McMullin

	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		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		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)

Coauthor Index

1	John D. Gannon	[1] [2] [3] [4]
2	Richard G. Hamlet	[2]
3	Mark Weiser	[3]