关注
John A. Clark
John A. Clark
Professor of Computer and Information Security, University of Sheffield
在 sheffield.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Holistic schedulability analysis for distributed hard real-time systems
K Tindell, J Clark
Microprocessing and microprogramming 40 (2-3), 117-134, 1994
11571994
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
9222013
A survey of authentication protocol literature: Version 1.0
JA Clark, JL Jacob
Citeseer, 1997
558*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
4282003
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
3231998
Automated program flaw finding using simulated annealing
N Tracey, J Clark, K Mander
Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998
3081998
The design of S-boxes by simulated annealing
JA Clark, JL Jacob, S Stepney
New Generation Computing 23, 219-231, 2005
2022005
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
2002000
Metrics are fitness functions too
M Harman, J Clark
10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 2004
1902004
Automated testdata generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1802000
Evolutionary improvement of programs
DR White, A Arcuri, JA Clark
IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011
1722011
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
1572004
Intrusion detection in mobile ad hoc networks
S Şen, JA Clark
Guide to wireless ad hoc networks, 427-454, 2009
1452009
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
1302011
The rigorous generation of Java mutation operators using HAZOP
S Kim, JA Clark, J McDermid
Informe técnico, The University of York, 1999
1301999
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
1222002
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
1202001
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
1122005
Almost Boolean functions: The design of Boolean functions by spectral inversion
JA Clark, JL Jacob, S Maitra, P Stănică
Computational intelligence 20 (3), 450-462, 2004
1102004
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
Proceedings of the 27th IEEE/ACM International Conference on Automated …, 2012
1092012
系统目前无法执行此操作,请稍后再试。
文章 1–20