关注
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
11511994
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
9422013
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
4312003
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
3261998
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
2082005
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
1982000
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
1942013
Metrics are fitness functions too
M Harman, J Clark
10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 2004
1932004
Automated test‐data generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1862000
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
1582004
Intrusion detection in mobile ad hoc networks
S Şen, JA Clark
Guide to wireless ad hoc networks, 427-454, 2009
1472009
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
1432009
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
1422005
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
1402011
The rigorous generation of Java mutation operators using HAZOP
S Kim, JA Clark, J McDermid
Informe técnico, The University of York, 1999
1281999
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
1182002
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
1172001
系统目前无法执行此操作,请稍后再试。
文章 1–20