H. Menendez, M. Boreale, D. Gorla and D. Clark,
Output Sampling for Output Diversity in Automatic Unit Test Generation, IEEE Transactions on Software Engineering. 2020.
[PDF]
T. Amtoft, K. Androutsopoulos and D. Clark,
Correctly Slicing Extended Finite State Machines. in From Lambda Calculus to Cybersecurity Through Program Analysis, 2020.
[PDF]
D. Clark, R. Hierons and K. Patel,
Normalised Squeeziness and Failed Error Propagation. Information Processing Letters, volume 149. 2019.
[PDF]
D. Bruce, H. Menendez and D. Clark,
Dorylus: An ant colony based tool for automated test case generation. Internation Symposium on Search Based Software Engineering. 2019.
[PDF]
L. Joffe and D. Clark,
Constructing Search Spaces for Search-Based Software Testing Using Neural Networks, International Symposium on Search Based Software Engineering. 2019.
[PDF]
G. Jahangirova, D. Clark, M. Harman and P. Tonella
An Empirical Validation of Oracle Improvement. IEEE Transactions on Software Engineering. 2019.
[PDF]
L. Joffe and D. Clark,
Directing a Search Towards Execution Properties with a Learned Fitness Function. ICST. 2019.
[PDF]
HD Menendez, S Bhattacharya, D Clark, and ET Barr
The arms race: Adversarial search defeats entropy used to detect malware. Expert Systems with Applications 118, 246-260. 2019.
[PDF]
C. Ragkhitwetsagul, J. Krinke and D. Clark
A Comparison of Code Similarity Analysers. Empirical Software Engineering 23 (4), 2464-2519. 2018.
[PDF]
G. Jahangirova, D. Clark, M. Harman and P. Tonella
OASIs: oracle assessment and improvement tool. ISSTA 2018.
[PDF]
E.T. Barr, D. Clark, M. Harman, and A. Marginean
Indexing Operators to Extend the Reach of Symbolic Execution. ArXiv Preprint. 2018.
[PDF]
A. Calleja, A. Martin, H.D. Menendez, J. Tapiador and D. Clark
Picking on the Family: Disrupting Android Malware Triage by Forcing Misclassification. Expert Systems with Applications. vol. 95, pp. 113-126. 2018.
[PDF]
C. Ragkhitwetsagul, J. Krinke and D. Clark
Comparison of Code Similarity Analysers. UCL CS Research note RN/17/04. 2017.
[PDF]
S. Bhattacharya, H. Menendez, E. Barr and D. Clark
iTect: Scalable Information Theoretic Similarity for Malware Detection. CoRR abs/1609.02404 (2016)
[PDF]
G. Jahangirova, D. Clark, M. Harman and P. Tonella
Test oracle assessment and improvement. ISSTA 2016.
[PDF]
C. Ragkhitwetsagul, J. Krinke and D. Clark
Similarity of Source Code in the Presence of Pervasive Modifications. SCAM 2016.
[PDF]
R. Feldt, S. Poulding, D. Clark and S. Yoo
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST 2016,
[PDF]
N. Alshahwan, E. Barr, D. Clark and G. Danezis
Detecting Malware with Information Complexity. CoRR abs/1502.07661
[PDF]
D. Clark, R. Feldt, S. Poulding and S. Yoo
Information Transformation: An Underpinning Theory for Software Engineering. ICSE 2015.
[PDF]
M. Boreale, D. Clark, and D. Gorla
A Semiring-based Trace Semantics for Processes with Applications to Information Leakage. Mathematical Structures in Computer Science, vol. 25, pp 259-291. 2015.
[PDF]
K. Androutsopoulos, D. Clark, H. Dan, R. Hierons, and M. Harman
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing. Proceedings of the 36th International Conference on Software Engineering (ICSE), 2014.
[PDF]
K. Androutsopoulos, D. Clark, H. Dan, R. Hierons, and M. Harman
An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation
in Software Testing. Research Note RN 13/18. Department of Computer Science, University College London. October 10, 2013.
[PDF]
K. Androutsopoulos, D. Clark, M. Harman, R. Hierons, Z. Li and L. Tratt
Amorphous Slicing of Extended Finite State Machines. IEE Transactions
on Software Engineering. Volume 39, Issue 7. July 2013.
[PDF]
K. Androutsopoulos, D. Clark, M. Harman, J. Krinke and L. Tratt
State-Based Model Slicing: A Survey. ACM Computing Surveys. vol. 45 no. 19. August 2013.
[PDF]
S.Yoo, M. Harman and D. Clark
Fault Localization Prioritization: Comparing Information Theoretic
and Coverage Based Approaches. ACM Transactions on Software
Engineering and Methodology. vol. 22(3), no. 19. 2013.
[PDF]
D. Clark and R. Hierons
Squeeziness: A Information Theoretic Measure for Avoiding Fault Masking. Information Processing Letters, Volume 112, Issues 8 -- 9, 30 April 2012, Pages 335 -- 340.
[PDF]
Chunyan Mu and D. Clark.
A quantitative analyser for programs in a core imperative language
The Proceedings of the 8th International Conference on Quantitative Evaluation of Systems (QEST), 2011. [PDF]
K. Androutsopoulos, D. Binkley, D. Clark,
N. Gold, M. Harman, K. Lano, and Z. Li. Model projection: Simplifying models in
response to restricting the environment. In Proceedings of the
33rd International Conference on Software Engineering (ICSE). ACM/IEEE,
2011. [PDF]
S. Yoo, M. Harman, and D. Clark. Flint: Fault localisation using information
theory. Technical Report RN/11/09, Department of Computer
Science, University College London, March 2011. [PDF]
M. Boreale, D. Clark, and D. Gorla. A semiring-based trace semantics for
processes with applications to information leakage analysis. In
Proceedings of the 6th IFIP TC 1/WG 2.2 International Conference TCS
2010, Part of WCC2010 Proceedings. Springer, 2010. [PDF]
T. Amtoft, K. Androutsopoulos, D. Clark, M. Harman, and Z. Li. An alternative characterization of weak
order dependence. Information Processing Letters., 110:939– 943,
2010. [PDF]
K. Alzarouni, D. Clark and L. Tratt, Semantic Malware Detection,
Technical
report TR-10-03, Department of Computer Science, King’s College London,
2010 (Bibtex,
Paper)
C. Mu and D. Clark. Automatically
Computing Information Flow Quantity via Probabilistic Semantics.
Journal of Information Systems Security (JISSec), 5(4):47-85, 2009. [PDF]
C. Mu and D. Clark. An
Abstraction Quantifying Information Flow over Probabilistic Semantics.
Proccedings of the Workshop on Quantitative Aspects of Programming
Languages (QAPL), ENTCS 253(3):119-141, 2009. [PDF]
K. Androutsopoulos, D. Clark, M. Harman, Z. Li and L. Tratt. Control Dependence for Extended Finite
State Machines. Fundamental
Approaches to Software Engineering (FASE), 2009. LNCS 5503. [PDF] Won the ETAPS 2009 award for best
Software Science paper.
C. Mu and D. Clark. Quantitative analysis of secure
information flow via probabilistic semantics. Proceedings of the
Conference on Availability, Reliability and Security (ARES) 2009. [PDF]
D.
Clark and S. Hunt. Noninterference
for Deterministic Interactive Programs. Foundational Aspects of Security
and Trust workshop (FAST) 2008. LNCS 5491. [PDF]
K.
Lano and D. Clark. Model
Transformation Specification and Refinement. QSIC 2008.
K.
Lano and D. Clark. Semantics
and Refinement of Behaviour
State Machines. Proceedings
of
10th International Conference on Enterprise Information Systems.
2008. [PDF]
K. Lano and D. Clark. Direct
Semantics of Extended State Machines.
TOOLS 2007 Special Issue
of the Journal of Object Technology. ETH Swiss Federal Institute of
Technology. 6(9). 2007.
D. Clark, S. Danicic, and R. Giacobazzi (Eds.), Special Issue of the Journal of Logic and
Algebraic Programming on Programming Language Interference and
Dependence. Elsevier. 72(2). 2007
D. Clark, S. Hunt, and P.
Malacaria. A Static Analysis
for Quantifying the Information Flow in a Simple Imperative Programming
Language. The Journal of Computer Security, 15(3). 2007.
K. Lano, K. Androutsopoulos,
and D. Clark. Concurrency and
Real-Time Specifications in UML. Proceedings of the
International Workshop on Modelling and Analysis of Real-Time and
Embedded Systems (MARTES) at MoDELS 2006. Universitet i Oslo, Institut
for Informatikk Research Report. 2006.
A. Ong, D. Clark, and J. Kim.
A Hybridized AIS for Anomaly
Detection: Combining Negative Selection and Association Rules
(Extended Abstract). Proceedings
of
AISB 2006. Workshop on Artificial Immune Systems
and Immune System Modelling. Bristol, U.K. 3 - 4 April 2006.
D. Clark, S. Hunt, and P.
Malacaria. Quantitative
Information Flow, Relations and Polymorphic Types. Journal of
Logic and Computation, Special Issue on Lambda Calculus, Type Theory
and Natural Language, 18(2): 181 - 199, 2005.
K. Lano, K. Androutsopoulos
and D. Clark. Refinement
Patterns for UML. Electronic Notes in Theoretical Computer
Science, 137(2): 131 - 149, 2005.
D. Clark, S.
Hunt and
P. Malacaria. Quantified Interference for a While Language. Electronic
Notes in Theoretical Computer Science, Volume
112, 2 January 2005,
Pages 149-166. Proceedings of the Second Workshop on Quantitative
Aspects of Programming Languages (QAPL 2004)
D. Clark, S. Hunt and
P. Malacaria. Quantified
Interference: Information Theory and Information Flow. 2004 IFIP
WG 1.7, ACM SIGPLAN and GI
FoMSESS Workshop
on
Issues in the Theory of Security (WITS'04), April
3
- 4, 2004, Barcelona, Spain.
K. Lano, D.
Clark and K.
Androutsopoulos. UML to B:
Formal Verification of Object-oriented
Models. Fourth International
Conference on Integrated Formal Methods 4-7 April 2004 in Canterbury,
Kent, England. Springer Verlag. LNCS 2999, 2004.
D. Clark, S. Hunt and
P. Malacaria. Quantified
Interference for a While Language (extended version). Technical
Report TR-03-07, Department of Computer Science, King's College London,
October 2003.
K.
Lano, K. Androutsopoulos and D. Clark. Formal Specification and verification of
railway systems using UML. Proceedings of Formal Methods
for Railway Operation and Control Systems Workshop, Budapest, May
2003. ISBN 963 9457 450, 2003.
D. Clark, S. Hunt and P.
Malacaria. Quantitative
Analysis of the Leakage of Confidential Data.
Proceedings of Quantitative Aspects of Programming Languages, Sept.
2001 (QAPL'01), Electronic Notes in Theoretical Computer Science,
volume 59, issue 3, November 2002, Elsevier.
D. Clark, C. Hankin and S.
Hunt. Information Flow for ALGOL-like Languages.
Computer Languages (Special Issue: Computer Languages and Security),
volume 28 (1), pages 3 -- 28, April 2002. Ed. A. Cortesi and R.
Focardi. Elsevier.
D. Clark, S. Hunt and P.
Malacaria. Estimating Leakage of Confidential Data in a
Distributed System. Technical Report. 2002.
K. Lano, D.
Clark and K.
Androutsopoulos. Formalising
Inter-model Consistency of the UML. Workshop on Consistency
Problems in UML-based Software Development, Satellite of UML 2002,
September 30 - October 4, 2002, Dresden, Germany. Blekinge Institute of
Technology Research Report 2002:06
K. Lano, D. Clark and K.
Androutsopoulos. Safety and
Security Analysis of Object Oriented Models.
21st International Conference on Computer Safety, Reliability and
Security (SAFECOMP 2002), Catania, Italy, September 2002, Springer
Verlag, LNCS 2434.
K. Lano, D. Clark and K.
Androutsopoulos. From
Implicit Specifications to Explicit Designs in Reactive System
Development. Third International Conference on Integrated Formal
Methods (IFM 2002), Turku, Finland, May 2002, Springer Verlag, LNCS
2335.
K. Lano, D. Clark and K.
Androutsopoulos. RSDS: A
subset of UML with Precise Semantics. Fourth Rigorous Object
Oriented Methods Workshop (ROOM4), King's College London, March 21-22,
2002.
K. Lano, K.
Androutsopoulos,
D. Clark and P. Kan. Design
and Verification of Automation Systems using RSDS. 10th IFAC
Symposium on Information Control Problems in Manufacturing, Vienna
University of Technology, Vienna, Sept. 20-22 2001.
D. Clark, C. Hankin, S. Hunt
and Rajagopal Nagarajan. Possibilistic Information Flow
is Safe for Probabilistic Non-Interference. (extended abstract)
WITS2000. Available as postscript.
K. Lano, D. Clark, K. Androutsopoulos
and P. Kan. Invariant-based
Synthesis of Fault-tolerant Systems. FTRTFT, Pune, India, 2000.
Available as postscript.
K. Lano, K. Androutsopoulos, and D. Clark. Structuring
and
Design of reactive Systems using RSDS and B. In the
proceedings of FASE, ETAPS 2000. Available as postscript.
D. Clark, C. Hankin and S.
Hunt. Safety of Strictness Analysis via Term Graph
Rewriting. In the proceedings of the Static Analysis Symposium
2000. Available as postscript.
K. Lano and D. Clark. Demonstrating
Preservation
of Safety Properties in Reactive Control System Development Proceedings
of the Fourth Australian Workshop on Safety
Critical Systems and Software, Canberra, 26 November 1999.
Available as postscript.
D. Clark. Term Graph Rewriting and
Event Structures. PhD thesis, Imperial College 1996. Available
as postscript.
D. Clark and R. Kennaway. Event
Structures and Non-orthogonal Term Graph Rewriting. In:
Mathematical Structures in Computer Science (1996) vol. 6 pp. 545-578
Available as postscript.
D. Clark and R. Kennaway. Some
Properties of Non-Orthogonal Term Graph Rewriting. In:
Proceedings
of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and
Computation (SEGRAGRA '95), Volterra (Pisa, Italy), August 28 -
September 1, 1995, Electronic Notes in Theoretical Computer
Science, Elsevier. Available at Elsevier's ENTCS archives.
D. Clark, L. Errington, and C. Hankin. Static
Analysis
of Value-Passing Process Calculi (Extended Abstract).
In: Proceedings of the Second Imperial College Department of
Computing Workshop on Theory and Formal Methods (C. Hankin, I.
Mackie, and R. Nagarajan, eds.), Imperial College Press, September
1995. Available as postscript.
D. Clark and C. Hankin. A
Lattice of Abstract Graphs. In: Programming Language
Implementation and Logic Programming, Talinn, Estonia (M.
Bruynooghe and J. Penjam eds.), LNCS 714, Springer-Verlag, 1993.
Available as postscript.
|