Follow
Nigel Tracey
Nigel Tracey
ETAS
Verified email at etas.com - Homepage
Title
Cited by
Cited by
Year
An automated framework for structural test-data generation
N Tracey, J Clark, K Mander, J McDermid
Proceedings 13th IEEE International Conference on Automated Software …, 1998
3261998
Automated program flaw finding using simulated annealing
N Tracey, J Clark, K Mander
Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998
3081998
Automated test‐data generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1862000
A search-based automated test-data generation framework for safety-critical software
NJ Tracey
University of York, 2000
1472000
The way forward for unifying dynamic test-case generation: The optimisation-based approach
N Tracey, JA Clark, K Mander
Proceedings of the IFIP International Workshop on Dependable Computing and …, 1998
1451998
How embedded applications using an RTOS can stay within on-chip memory limits
R Davis, N Merriam, N Tracey
12th EuroMicro Conference on Real-Time Systems, 71-77, 2000
882000
A search-based automated test-data generation framework for safety-critical systems
N Tracey, J Clark, J McDermid, K Mander
Systems Engineering for Business Process Change: New Directions: Collected …, 2002
682002
Integrating safety analysis with automatic test-data generation for software safety verification
N Tracey, J Clark, J McDermid, K Mander
Proceedings of 17th International System Safety Conference, 128-137, 1999
301999
Towards industrially applicable formal methods: Three small steps, and one giant leap
J McDermid, A Galloway, S Burton, J Clark, I Toyn, N Tracey, S Valentine
Proceedings Second International Conference on Formal Engineering Methods …, 1998
301998
Solving constraints in law. Law/d5. 1.1 (e), European Commission-DG III Industry, 1997
J Clark, N Tracey
Legacy Assessment Work-Bench Feasibility Assessment, 0
9
Transferring real-time systems research into industrial practice: Four impact case studies
RI Davis, I Bate, G Bernat, I Broster, A Burns, A Colin, S Hutchesson, ...
30th Euromicro Conference on Real-Time Systems (ECRTS 2018), 2018
82018
Test-case data generation using optimisation techniques–first year dphil report
NJ Tracey
Department of Computer Science, University of York, 1997
81997
A Safety Change Oriented Process for Safety-Critical Systems
N Tracey, A Stephenson, JA Clark, JA McDermid
71999
Method of bypassing an AUTOSAR software component of an AUTOSAR software system
G Morgan, N Tracey, S Mitchel, J Dickie, M Rutter
US Patent 8,966,443, 2015
62015
Integrating automated testing with exception freeness proofs for safety critical systems
N Tracey, J Clark, K Mander, J McDermid
Proceedings of the 4th Australian Workshop on Safety Critical Systems and …, 1999
51999
Ecu software module development process changes in autosar
N Tracey, U Lefarth, HJ Wolff, U Freund
FKFSS Symposium, Stuttgart, Germany, 2007
32007
Engineering real-time behavior
N Tracey
IEEE instrumentation & measurement magazine 5 (4), 29-38, 2002
22002
A search-based automated test-data generation framework for high-integrity systems
N Tracey, J Clark, J McDermid, K Mander
Journal of Software Practice and Experience, 2000
22000
Hybrid Drives with Autosar-Compliant Control Units
N Lestrée, A Pouthier, G Nice, NJ Tracey
ATZ worldwide eMagazine 113 (9), 22-27, 2011
12011
The first international workshop on automated program analysis, testing and verification
N Tracey, J Penix, WC Visser
Proceedings of International Conference on Software Engineering, 796-796, 2000
12000
The system can't perform the operation now. Try again later.
Articles 1–20