Searching for authors named "Nigel Tracey" – sorted by Relevance.
-
2nd Year DPhil Report
- 2nd Year DPhil Report Nigel J. Tracey 31, March 1998 Contents 1 Introduction 2 2 Thesis 4 2
- Add To MetaCart
-
st Year DPhil Report
- 1st Year DPhil Report Nigel J. Tracey 30th June 1997 Abstract This report is submitted as a first
- Add To MetaCart
-
How embedded applications using an rtos can stay within on-chip memory limits
- Merriam Nigel Tracey Realogy Realogy University of York rdavis@(email omitted); nmerriam@(email omitted); njt
- Cited by 13 (0 self) – Add To MetaCart
-
A Search-Based Automated Test-Data Generation Framework for Safety Critical Software
- , January 1998. Nigel Tracey, John Clark, and Keith Mander. "Automated program flaw finding using simulated
- Cited by 18 (0 self) – Add To MetaCart
-
The way forward for unifying dynamic test case generation: The optimisation-based approach
- The Way Forward for Unifying Dynamic Test Case Generation: The Optimisation-Based Approach Nigel
- Cited by 13 (8 self) – Add To MetaCart
-
A Search Based Automated Test-Data Generation Framework for High-Integrity Systems
- A Search Based Automated Test-Data Generation Framework for Safety-Critical Systems Nigel Tracey
- Cited by 3 (0 self) – Add To MetaCart
-
Automated Program Flaw Finding using Simulated Annealing
- Automated Program Flaw Finding using Simulated Annealing Nigel Tracey John Clark Keith Mander
- Cited by 52 (13 self) – Add To MetaCart
-
An automated framework for structural test-data generation
- An Automated Framework for Structural Test-Data Generation Nigel Tracey John Clark Keith Mander
- Cited by 48 (10 self) – Add To MetaCart
-
A Safe Change Oriented Process for Safety-Critical Systems
- A Safe Change Oriented Process for Safety-Critical Systems Nigel Tracey Alan Stephenson John Clark
- Add To MetaCart
-
Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems
- Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems Nigel
- Cited by 2 (2 self) – Add To MetaCart

