dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

John D. Gannon (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. McMullin, John D. Gannon: Combining Testing with Formal Specifications: A Case Study. IEEE Trans. Software Eng. 9(3): 328-335 (1983)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul R. McMullin, John D. Gannon, Mark Weiser: Implementing a Compiler-Based Test Tool. Softw., Pract. Exper. 12(10): 971-979 (1982)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn D. Gannon, Paul R. McMullin, Richard G. Hamlet: Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3(3): 211-223 (1981)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul 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)

Selection of 4 from 28 records - John D. Gannon has 20 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page