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

John A. Clark (Selection)

John Andrew Clark

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


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigel Tracey, John A. Clark, Keith Mander, John A. McDermid: Automated test-data generation for exception conditions. Softw., Pract. Exper. 30(1): 61-79 (2000)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDarren L. Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel J. Tracey: CONVERSE: A change-oriented process for engine controllers. IEE Proceedings - Software 146(3): 130-136 (1999)
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigel Tracey, John A. Clark, Keith Mander, John A. McDermid: An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel Tracey, Samuel H. Valentine: Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigel Tracey, John A. Clark, Keith Mander: Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81

Selection of 5 from 87 records - John A. Clark has 88 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