John A. Clark
John A. Clark
Professor of Computer and Information Security, University of Sheffield
Verified email at sheffield.ac.uk - Homepage
Title
Cited by
Cited by
Year
Holistic schedulability analysis for distributed hard real-time systems
K Tindell, J Clark
Microprocessing and microprogramming 40 (2-3), 117-134, 1994
10451994
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
5712013
A survey of authentication protocol literature: Version 1.0
JA Clark, JL Jacob
Citeseer, 1997
3091997
Automated program flaw finding using simulated annealing
N Tracey, J Clark, K Mander
Proceedings of the 1998 ACM SIGSOFT international symposium on Softwareá…, 1998
2821998
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
2691998
A survey of authentication protocol literature
J Clark, J Jacob
2231997
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
1762000
Automated test‐data generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1572000
Metrics are fitness functions too
M Harman, J Clark
10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 2004
1562004
Evolutionary improvement of programs
DR White, A Arcuri, JA Clark
IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011
1402011
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
1391998
The design of S-boxes by simulated annealing
JA Clark, JL Jacob, S Stepney
New Generation Computing 23 (3), 219-231, 2005
1342005
Intrusion detection in mobile ad hoc networks
S Şen, JA Clark
Guide to wireless ad hoc networks, 427-454, 2009
1242009
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
1242004
The rigorous generation of Java mutation operators using HAZOP
S Kim, J Clark, J McDermid
Informe tÚcnico, The University of York, 1999
1171999
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
1032001
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
1012002
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
992005
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
982012
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
872012
The system can't perform the operation now. Try again later.
Articles 1–20