MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Nigel Tracey" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

2nd Year DPhil Report
by Nigel J. Tracey — 1998
…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
by Nigel Tracey Th
…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
by Robert Davis, Nick Merriam, Nigel Tracey — 2000 — In Proceedings of the Work in Progress and Industrial Experience Session, Euromicro Conference on RealTime Systems
… 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
by Nigel James Tracey — 2000
…, 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
by Nigel Tracey, John Clark, Keith Mander — 1998 — In International Workshop on Dependable Computing and Its Applications
…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
by Nigel Tracey, John Clark, John Mcdermid, Keith Mander — 2000 — Journal of Software Practice and Experience
…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
by Nigel Tracey, John Clark, Keith Mander — 1998 — In the proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). Pages
…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
by Nigel Tracey, John Clark, Keith Mander, John Mcdermid, Heslington York — 1998 — Proceedings of the International Conference on Automated Software Engineering; IEEE
…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
by Nigel Tracey, Alan Stephenson, John Clark, John McDermid, Heslington York
…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
by Nigel Tracey, John Clark, Keith Mander, John McDermid, Heslington York, Yo Dd — 1999 — Proceedings of the 4th Australian Workshop on Safety Critical Systems and Software; The Australian Computer Society
…Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems Nigel…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB