Get started
Author

Nigel J. Tracey

Observed names: N. J. Tracey, N. Tracey, Nigel Tracey, Tracey, N.J., Tracey, Nigel
Institution: Etas (Germany)
Observed institutions: Etas (Germany), University of York
OpenAlex ID: A5015309122
An automated framework for structural test-data generation
2002 · N. Tracey, J. Clark, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 206
Automated program flaw finding using simulated annealing
1998 · Nigel Tracey, John Clark, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 205
Automated test-data generation for exception conditions
2000 · N. Tracey, J. Clark, et al. · Software Practice and Experience · 121
The way forward for unifying dynamic test-case generation: The optimisation-based approach
1998 · Nigel Tracey, John A. Clark, et al. · White Rose Research Online (University of Leeds, The University of Sheffield, University of York) · 76
PDF
How Embedded Applications using an RTOS can stay within On-chip Memory Limits
2002 · Robert H. Davis, Nick Merriam, et al. · 64
A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems
2002 · Nigel Tracey, John Clark, et al. · Springer eBooks · 56
Automated program flaw finding using simulated annealing
1998 · Nigel Tracey, John Clark, et al. · ACM SIGSOFT Software Engineering Notes · 42
PDF
Towards industrially applicable formal methods: three small steps, and one giant leap
2002 · J. McDermid, A. Galloway, et al. · International Conference on Formal Engineering Methods · 19
Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies
2018 · Davis, Robert I., Bate, Iain, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session)
2000 · Nigel Tracey, John Penix, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 4
PDF
The first international workshop on automated program analysis, testing and verification
2001 · John Penix, Nigel Tracey, et al. · ACM SIGSOFT Software Engineering Notes · 3
Why Switch to an OSEK RTOS and How to Address the Associated Challenges
2005 · Thierry Rolina, Nigel Tracey · SAE technical papers on CD-ROM/SAE technical paper series · 2
Hybrid Drives with Autosar-Compliant Control Units
2011 · Natalia Lestrée, Antoine Pouthier, et al. · ATZ - Automobiltechnische Zeitschrift · 1
EHOOKS – Prototyping is Rapid Again
2009 · Vivek Jaikamal, Nigel Tracey · SAE technical papers on CD-ROM/SAE technical paper series · 1
Engineering real-time behavior
2002 · N. Tracey · IEEE Instrumentation & Measurement Magazine · 1
Efficient Basis for Fusing Camera Data and Ultrasonic Signals
2019 · Alexander von Reyher, Nigel Tracey · ATZelectronics worldwide
Effiziente Basis für die Fusion von Kameradaten und Ultraschallsignalen
2019 · Alexander von Reyher, Nigel Tracey · ATZelektronik
Hybridantriebe mit Autosarkonformen Steuergeräten
2011 · Natalia Lestrée, Antoine Pouthier, et al. · ATZ - Automobiltechnische Zeitschrift
The second international workshop on automated program analysis, testing and verification
2001 · Nigel Tracey, John Penix, et al.
Automated analysis, verification and testing
2001 · Nigel Tracey, John Penix, et al. · Software Focus
Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)
2001 · Nigel Tracey, John Penix, et al. · Software Testing Verification and Reliability
PDF
Testing and testing techniques for real-time embedded software systems
2001 · N. Tracey, J. McDermid · Microprocessors and Microsystems
The second international workshop on automated program analysis, testing and verification
2001 · N. Tracey, J. Penix, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
CONVERSE: A change-oriented process for engine controllers
1999 · D. L. Buttle, J. A. Clark, et al. · IEE Proceedings - Software
Works count: 34
Citation count: 818
H-index: 9
I10-index: 9
Year
Topic
Type