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 | 325 | 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 | 308 | 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 | 181 | 2000 |
A search-based automated test-data generation framework for safety-critical software NJ Tracey University of York, 2000 | 145 | 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 | 145 | 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 | 88 | 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 |
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 | 33 | 1998 |
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 | 31 | 1999 |
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 | 10 | |
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 | 8 | 2018 |
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 |
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 |
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 | 1 | 2000 |