עקוב אחר
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‏
11611994
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‏
9822013
A survey of authentication protocol literature: Version 1.0‏
JA Clark, JL Jacob‏
Citeseer, 1997‏
562*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‏
4272003
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‏
3321998
Automated program flaw finding using simulated annealing‏
N Tracey, J Clark, K Mander‏
Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998‏
3131998
The design of S-boxes by simulated annealing‏
JA Clark, JL Jacob, S Stepney‏
New Generation Computing 23, 219-231, 2005‏
2182005
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‏
1942004
Automated test‐data generation for exception conditions‏
N Tracey, J Clark, K Mander, J McDermid‏
Software: Practice and Experience 30 (1), 61-79, 2000‏
1902000
Evolutionary improvement of programs‏
DR White, A Arcuri, JA Clark‏
IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011‏
1802011
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‏
1572004
Intrusion detection in mobile ad hoc networks‏
S Şen, JA Clark‏
Guide to wireless ad hoc networks, 427-454, 2009‏
1532009
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‏
1452011
The rigorous generation of Java mutation operators using HAZOP‏
S Kim, JA Clark, J McDermid‏
Informe técnico, The University of York, 1999‏
1321999
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
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‏
1192005
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‏
1192001
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‏
1152004
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‏
1142012
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20