default search action

combined dblp search
author search
venue search
publication search

ask others

Nigel James Tracey

Nigel J. Tracey

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2001
[j3]
- 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
[b1]
- view
  - electronic edition @ bl.uk
  - no references & citations available
- export record
  dblp key:
  - phd/ethos/Tracey00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ethos/Tracey00
Nigel James Tracey:
A search-based automated test-data generation framework for safety-critical software. University of York, UK, 2000
[j2]
- 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)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j1]
- 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
[c3]
- 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
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TraceyCM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TraceyCM98
Nigel J. Tracey, John A. Clark, Keith Mander:
Automated Program Flaw Finding Using Simulated Annealing. ISSTA 1998: 73-81
[c1]
- 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.