دنبال کردن
David Clark
David Clark
Computer Science, University College London
ایمیل تأیید شده در ucl.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
A static analysis for quantifying information flow in a simple imperative language‏
D Clark, S Hunt, P Malacaria‏
Journal of Computer Security 15 (3), 321-371, 2007‏
2582007
Quantitative analysis of the leakage of confidential data‏
D Clark, S Hunt, P Malacaria‏
Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002‏
2422002
Quantitative information flow, relations and polymorphic types‏
D Clark, S Hunt, P Malacaria‏
Logic and Computation 18 (2), 181-199, 2005‏
1902005
Test set diameter: Quantifying the diversity of sets of test cases‏
R Feldt, S Poulding, D Clark, S Yoo‏
2016 IEEE international conference on software testing, verification and …, 2016‏
1612016
A comparison of code similarity analysers‏
C Ragkhitwetsagul, J Krinke, D Clark‏
Empirical Software Engineering 23, 2464-2519, 2018‏
1562018
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches‏
S Yoo, M Harman, D Clark‏
ACM Transactions on software engineering and methodology (TOSEM) 22 (3), 1-29, 2013‏
1342013
Quantified interference for a while language‏
D Clark, S Hunt, P Malacaria‏
Electronic Notes in Theoretical Computer Science 112, 149-166, 2005‏
1142005
UML to B: Formal verification of object-oriented models‏
K Lano, D Clark, K Androutsopoulos‏
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004‏
1072004
An analysis of the relationship between conditional entropy and failed error propagation in software testing‏
K Androutsopoulos, D Clark, H Dan, RM Hierons, M Harman‏
Proceedings of the 36th international conference on software engineering …, 2014‏
902014
Control dependence for extended finite state machines‏
K Androutsopoulos, D Clark, M Harman, Z Li, L Tratt‏
Fundamental Approaches to Software Engineering: 12th International …, 2009‏
772009
Non-interference for deterministic interactive programs‏
D Clark, S Hunt‏
International Workshop on Formal Aspects in Security and Trust, 50-66, 2008‏
732008
Information flow for Algol-like languages‏
D Clark, C Hankin, S Hunt‏
Computer Languages, Systems & Structures 28 (1), 3-28, 2002‏
712002
Picking on the family: Disrupting android malware triage by forcing misclassification‏
A Calleja, A Martín, HD Menéndez, J Tapiador, D Clark‏
Expert Systems with Applications 95, 113-126, 2018‏
662018
Test oracle assessment and improvement‏
G Jahangirova, D Clark, M Harman, P Tonella‏
Proceedings of the 25th international symposium on software testing and …, 2016‏
642016
State-based model slicing: A survey‏
K Androutsopoulos, D Clark, M Harman, J Krinke, L Tratt‏
ACM Computing Surveys (CSUR) 45 (4), 1-36, 2013‏
642013
Similarity of source code in the presence of pervasive modifications‏
C Ragkhitwetsagul, J Krinke, D Clark‏
2016 IEEE 16th international working conference on source code analysis and …, 2016‏
462016
Squeeziness: An information theoretic measure for avoiding fault masking‏
D Clark, RM Hierons‏
Information Processing Letters 112 (8-9), 335-340, 2012‏
452012
The arms race: Adversarial search defeats entropy used to detect malware‏
HD Menéndez, S Bhattacharya, D Clark, ET Barr‏
Expert Systems with Applications 118, 246-260, 2019‏
432019
Model projection: Simplifying models in response to restricting the environment‏
K Androutsopoulos, D Binkley, D Clark, N Gold, M Harman, K Lano, Z Li‏
Proceedings of the 33rd International Conference on Software Engineering …, 2011‏
402011
Safety and security analysis of object-oriented models‏
K Lano, D Clark, K Androutsopoulos‏
Computer Safety, Reliability and Security: 21st International Conference …, 2002‏
402002
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20