Holistic schedulability analysis for distributed hard real-time systems K Tindell, J Clark Microprocessing and microprogramming 40 (2-3), 117-134, 1994 | 1151 | 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 | 942 | 2013 |
A survey of authentication protocol literature: Version 1.0 JA Clark, JL Jacob Citeseer, 1997 | 560* | 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 | 431 | 2003 |
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 | 326 | 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 |
The design of S-boxes by simulated annealing JA Clark, JL Jacob, S Stepney New Generation Computing 23, 219-231, 2005 | 208 | 2005 |
Class mutation: Mutation testing for object-oriented programs S Kim, JA Clark, JA McDermid Proc. Net. ObjectDays, 9-12, 2000 | 198 | 2000 |
Search for gravitational waves from binary black hole inspiral, merger,<? format?> and ringdown in LIGO-Virgo data from 2009–2010 J Aasi, J Abadie, BP Abbott, R Abbott, TD Abbott, M Abernathy, T Accadia, ... Physical Review D—Particles, Fields, Gravitation, and Cosmology 87 (2), 022002, 2013 | 194 | 2013 |
Metrics are fitness functions too M Harman, J Clark 10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 2004 | 193 | 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 | 186 | 2000 |
Evolutionary improvement of programs DR White, A Arcuri, JA Clark IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011 | 172 | 2011 |
Results on rotation symmetric bent and correlation immune Boolean functions P Stănică, S Maitra, JA Clark Fast Software Encryption: 11th International Workshop, FSE 2004, Delhi …, 2004 | 158 | 2004 |
Intrusion detection in mobile ad hoc networks S Şen, JA Clark Guide to wireless ad hoc networks, 427-454, 2009 | 147 | 2009 |
Double--decay values of , , and ND Scielzo, S Caldwell, G Savard, JA Clark, CM Deibel, J Fallis, S Gulick, ... Physical Review C—Nuclear Physics 80 (2), 025501, 2009 | 143 | 2009 |
Value of the Superallowed Decay of and Its Influence on <?format ?>and the Unitarity of the Cabibbo-Kobayashi-Maskawa Matrix G Savard, F Buchinger, JA Clark, JE Crawford, S Gulick, JC Hardy, ... Physical review letters 95 (10), 102501, 2005 | 142 | 2005 |
F for fake: four studies on how we fall for phish M Blythe, H Petrie, JA Clark Proceedings of the SIGCHI conference on human factors in computing systems …, 2011 | 140 | 2011 |
The rigorous generation of Java mutation operators using HAZOP S Kim, JA Clark, J McDermid Informe técnico, The University of York, 1999 | 128 | 1999 |
Evolving Boolean functions satisfying multiple criteria JA Clark, JL Jacob, S Stepney, S Maitra, W Millan Progress in Cryptology—INDOCRYPT 2002: Third International Conference on …, 2002 | 118 | 2002 |
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 | 117 | 2001 |