John A. McDermid

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Nigel James Tracey

> Home > Persons > John A. McDermid

Publications

2001
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/TraceyM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/TraceyM01
Nigel James Tracey, John A. McDermid:
Testing and testing techniques for real-time embedded software systems. Microprocess. Microsystems 24(9): 441 (2001)
2000
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/spe/TraceyCMM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/spe/TraceyCMM00
Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid:
Automated test-data generation for exception conditions. Softw. Pract. Exp. 30(1): 61-79 (2000)
1999
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/ButtleCMST99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/ButtleCMST99
Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey:
CONVERSE: A change-oriented process for engine controllers. IEE Proc. Softw. 146(3): 130-136 (1999)
1998
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/McDermidGBCTTV98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/McDermidGBCTTV98
John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine:
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM 1998: 76-89
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TraceyCMM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TraceyCMM98
Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid:
An Automated Framework for Structural Test-Data Generation. ASE 1998: 285-288

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.