| 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 | 335 | 1998 |
| Automated program flaw finding using simulated annealing N Tracey, J Clark, K Mander Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998 | 310 | 1998 |
| Automated test‐data generation for exception conditions N Tracey, J Clark, K Mander, J McDermid Software: Practice and Experience 30 (1), 61-79, 2000 | 190 | 2000 |
| A search-based automated test-data generation framework for safety-critical software NJ Tracey University of York, 2000 | 149 | 2000 |
| 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 | 146 | 1998 |
| 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 | 89 | 2000 |
| 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 | 67 | 2002 |
| 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 | 30 | 1999 |
| 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 | 30 | 1998 |
| 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 | 9 | 2018 |
| 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 | |
| Test-case data generation using optimisation techniques–first year dphil report NJ Tracey Department of Computer Science, University of York, 1997 | 8 | 1997 |
| A Safety Change Oriented Process for Safety-Critical Systems N Tracey, A Stephenson, JA Clark, JA McDermid | 7 | 1999 |
| 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 | 6 | 2015 |
| 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 | 5 | 1999 |
| Ecu software module development process changes in autosar N Tracey, U Lefarth, HJ Wolff, U Freund FKFSS Symposium, Stuttgart, Germany, 2007 | 3 | 2007 |
| Engineering real-time behavior N Tracey IEEE instrumentation & measurement magazine 5 (4), 29-38, 2002 | 2 | 2002 |
| 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 | 2 | 2000 |
| 30th Euromicro Conference on Real-Time Systems (ECRTS 2018) F Farshchi, PK Valsan, R Mancuso, H Yun, MA Awan, PF Souto, K Bletsas, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | 1 | 2018 |
| Hybrid Drives with Autosar-Compliant Control Units N Lestrée, A Pouthier, G Nice, NJ Tracey ATZ worldwide eMagazine 113 (9), 22-27, 2011 | 1 | 2011 |