Æȷοì
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
2512007
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
2352002
Quantitative information flow, relations and polymorphic types
D Clark, S Hunt, P Malacaria
Logic and Computation 18 (2), 181-199, 2005
1842005
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
1542016
A comparison of code similarity analysers
C Ragkhitwetsagul, J Krinke, D Clark
Empirical Software Engineering 23, 2464-2519, 2018
1512018
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
1302013
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
842014
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
762009
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
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
652013
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
632018
Test oracle assessment and improvement
G Jahangirova, D Clark, M Harman, P Tonella
Proceedings of the 25th international symposium on software testing and ¡¦, 2016
632016
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
472016
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
412019
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
Quantitative analysis of secure information flow via probabilistic semantics
C Mu, D Clark
2009 International Conference on Availability, Reliability and Security, 49-57, 2009
382009
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20