| Holistic schedulability analysis for distributed hard real-time systems K Tindell, J Clark Microprocessing and microprogramming 40 (2-3), 117-134, 1994 | 1117 | 1994 |
| An orchestrated survey of methodologies for automated software test case generation S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ... Journal of Systems and Software 86 (8), 1978-2001, 2013 | 706 | 2013 |
| A survey of authentication protocol literature: Version 1.0 JA Clark, JL Jacob Citeseer, 1997 | 531* | 1997 |
| Reformulating software engineering as a search problem J Clarke, JJ Dolado, M Harman, R Hierons, B Jones, M Lumkin, B Mitchell, ... IEE Proceedings-software 150 (3), 161-175, 2003 | 411 | 2003 |
| Automated program flaw finding using simulated annealing N Tracey, J Clark, K Mander Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998 | 299 | 1998 |
| 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 | 290 | 1998 |
| Class mutation: Mutation testing for object-oriented programs S Kim, JA Clark, JA McDermid Proc. Net. ObjectDays, 9-12, 2000 | 192 | 2000 |
| Metrics are fitness functions too M Harman, J Clark 10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 2004 | 179 | 2004 |
| Automated test‐data generation for exception conditions N Tracey, J Clark, K Mander, J McDermid Software: Practice and Experience 30 (1), 61-79, 2000 | 174 | 2000 |
| The design of S-boxes by simulated annealing JA Clark, JL Jacob, S Stepney New Generation Computing 23 (3), 219-231, 2005 | 159 | 2005 |
| Evolutionary improvement of programs DR White, A Arcuri, JA Clark IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011 | 157 | 2011 |
| Results on rotation symmetric bent and correlation immune Boolean functions P Stănică, S Maitra, JA Clark International Workshop on Fast Software Encryption, 161-177, 2004 | 137 | 2004 |
| Intrusion detection in mobile ad hoc networks S Şen, JA Clark Guide to wireless ad hoc networks, 427-454, 2009 | 129 | 2009 |
| The rigorous generation of Java mutation operators using HAZOP S Kim, J Clark, J McDermid Informe técnico, The University of York, 1999 | 122 | 1999 |
| Investigating the effectiveness of object‐oriented testing strategies using the mutation method SW Kim, JA Clark, JA McDermid Software Testing, Verification and Reliability 11 (4), 207-225, 2001 | 111 | 2001 |
| Journeys in non-classical computation I: A grand challenge for computing research S Stepney, SL Braunstein, JA Clark, A Tyrrell, A Adamatzky, RE Smith, ... International Journal of Parallel, Emergent and Distributed Systems 20 (1), 5-19, 2005 | 106 | 2005 |
| Evolving Boolean functions satisfying multiple criteria JA Clark, JL Jacob, S Stepney, S Maitra, W Millan International conference on cryptology in India, 246-259, 2002 | 106 | 2002 |
| The GISMOE challenge: Constructing the pareto program surface using genetic programming to find better programs (keynote paper) M Harman, WB Langdon, Y Jia, DR White, A Arcuri, JA Clark 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012 | 105 | 2012 |
| Dynamic adaptive search based software engineering M Harman, E Burke, JA Clark, X Yao Proceedings of the 2012 ACM-IEEE International Symposium on Empirical …, 2012 | 94 | 2012 |
| Search-based mutation testing for Simulink models Y Zhan, JA Clark Proceedings of the 7th annual conference on Genetic and evolutionary …, 2005 | 91 | 2005 |
