John A. Clark
John A. Clark
Professor of Computer and Information Security, University of Sheffield
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα - Αρχική σελίδα
Παρατίθεται από
Παρατίθεται από
Holistic schedulability analysis for distributed hard real-time systems
K Tindell, J Clark
Microprocessing and microprogramming 40 (2-3), 117-134, 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
A survey of authentication protocol literature: Version 1.0
JA Clark, JL Jacob
Citeseer, 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
Automated program flaw finding using simulated annealing
N Tracey, J Clark, K Mander
Proceedings of the 1998 ACM SIGSOFT international symposium on Software …, 1998
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
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
Metrics are fitness functions too
M Harman, J Clark
10th International Symposium on Software Metrics, 2004. Proceedings., 58-69, 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
Evolutionary improvement of programs
DR White, A Arcuri, JA Clark
IEEE Transactions on Evolutionary Computation 15 (4), 515-538, 2011
The design of S-boxes by simulated annealing
JA Clark, JL Jacob, S Stepney
New Generation Computing 23 (3), 219-231, 2005
First search for gravitational waves from known pulsars with Advanced LIGO
BP Abbott, R Abbott, TD Abbott, MR Abernathy, F Acernese, K Ackley, ...
The Astrophysical Journal 839 (1), 12, 2017
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
Search for gravitational-wave bursts associated with gamma-ray bursts using data from LIGO Science Run 5 and Virgo Science Run 1
BP Abbott, R Abbott, F Acernese, R Adhikari, P Ajith, B Allen, G Allen, ...
The Astrophysical Journal 715 (2), 1438, 2010
Directional limits on persistent gravitational waves using LIGO S5 science data
J Abadie, BP Abbott, R Abbott, M Abernathy, T Accadia, F Acernese, ...
Physical Review Letters 107 (27), 271102, 2011
Intrusion detection in mobile ad hoc networks
S Şen, JA Clark
Guide to wireless ad hoc networks, 427-454, 2009
Improved upper limits on the stochastic gravitational-wave background from 2009–2010 LIGO and Virgo data
J Aasi, BP Abbott, R Abbott, T Abbott, MR Abernathy, T Accadia, ...
Physical review letters 113 (23), 231101, 2014
Einstein@ Home all-sky search for periodic gravitational waves in LIGO S5 data
J Aasi, J Abadie, BP Abbott, R Abbott, TD Abbott, M Abernathy, T Accadia, ...
Physical Review D 87 (4), 042001, 2013
The rigorous generation of Java mutation operators using HAZOP
S Kim, J Clark, J McDermid
Informe técnico, The University of York, 1999
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20