A Lattice of Abstract Graphs. - David Clark 001; Chris Hankin (PLILP, 1993)

Static Analysis of Value-Passing Process Calculi. - David Clark 001; Lindsay Errington; Chris Hankin (Theory and Formal Methods, 1994)

Some properties of non-orthogonal term graph rewriting systems. - David Clark 001; Richard Kennaway (SEGRAGRA, 1995)

Event Structures and Non-Orthogonal Term Graph Rewriting. - David Clark 001; Richard Kennaway (Math. Struct. Comput. Sci., 1996)

Structuring and Design of Reactive Systems Using RSDS and B. - Kevin Lano; Kelly Androutsopoulos; David Clark 001 (FASE, 2000)

Invariant-Based Synthesis of Fault-Tolerant Systems. - Kevin Lano; David Clark 001; Kelly Androutsopoulos; Pauline Kan (FTRTFT, 2000)

Safety of Strictness Analysis via Term Graph Rewriting. - David Clark 001; Chris Hankin; Sebastian Hunt (SAS, 2000)

Quantitative Analysis of the Leakage of Confidential Data. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2001)

From Implicit Specifications to Explicit Designs in Reactive System Development. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (IFM, 2002)

Safety and Security Analysis of Object-Oriented Models. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (SAFECOMP, 2002)

Information flow for Algol-like languages. - David Clark 001; Chris Hankin; Sebastian Hunt (Comput. Lang. Syst. Struct., 2002)

RSDS, a Subset of UML with Precise Semantics. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (Obj. Logiciel Base données Réseaux, 2003)

UML to B: Formal Verification of Object-Oriented Models. - Kevin Lano; David Clark 001; Kelly Androutsopoulos (IFM, 2004)

Quantified Interference for a While Language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (QAPL, 2004)

Refinement Patterns for UML. - Kevin Lano; Kelly Androutsopoulos; David Clark 001 (REFINE, 2005)

Quantitative Information Flow, Relations and Polymorphic Types. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Log. Comput., 2005)

A static analysis for quantifying information flow in a simple imperative language. - David Clark 001; Sebastian Hunt; Pasquale Malacaria (J. Comput. Secur., 2007)

Special issue on Programming Language Interference and Dependence. - David Clark 001; Sebastian Danicic; Roberto Giacobazzi (J. Log. Algebraic Methods Program., 2007)

Direct Semantics of Extended State Machines. - Kevin Lano; David Clark 001 (J. Object Technol., 2007)

Semantics and Refinement of Behavior State Machines. - Kevin Lano; David Clark 001 (ICEIS (3-1), 2008)

Non-Interference for Deterministic Interactive Programs. - David Clark 001; Sebastian Hunt (Formal Aspects in Security and Trust, 2008)

Model Transformation Specification and Verification. - Kevin Lano; David Clark 001 (QSIC, 2008)

Axiomatic Semantics of State Machines. - Kevin Lano; David Clark 001 (UML 2 Semantics and Applications, 2009)

Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. - Chunyan Mu; David Clark 001 (ARES, 2009)

Control Dependence for Extended Finite State Machines. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Zheng Li 002; Laurence Tratt (FASE, 2009)

An Interval-based Abstraction for Quantifying Information Flow. - Chunyan Mu; David Clark 001 (QAPL, 2009)

An alternative characterization of weak order dependence. - Torben Amtoft; Kelly Androutsopoulos; David Clark 001; Mark Harman; Zheng Li 002 (Inf. Process. Lett., 2010)

Model projection: simplifying models in response to restricting the environment. - Kelly Androutsopoulos; David W. Binkley; David Clark 001; Nicolas Gold; Mark Harman; Kevin Lano; Zheng Li 002 (ICSE, 2011)

A Tool: Quantitative Analyser for Programs. - Chunyan Mu; David Clark 001 (QEST, 2011)

Foreword: programming language interference and dependence. - David Clark 001; Roberto Giacobazzi; Chunyan Mu (Math. Struct. Comput. Sci., 2011)

Squeeziness: An information theoretic measure for avoiding fault masking. - David Clark 001; Robert M. Hierons (Inf. Process. Lett., 2012)

State-based model slicing: A survey. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Jens Krinke; Laurence Tratt (ACM Comput. Surv., 2013)

Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. - Shin Yoo; Mark Harman; David Clark 001 (ACM Trans. Softw. Eng. Methodol., 2013)

Amorphous Slicing of Extended Finite State Machines. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Robert M. Hierons; Zheng Li 002; Laurence Tratt (IEEE Trans. Software Eng., 2013)

An analysis of the relationship between conditional entropy and failed error propagation in software testing. - Kelly Androutsopoulos; David Clark 001; Haitao Dan; Robert M. Hierons; Mark Harman (ICSE, 2014)

Information Transformation: An Underpinning Theory for Software Engineering. - David Clark 001; Robert Feldt; Simon M. Poulding; Shin Yoo (ICSE (2), 2015)

Detecting Malware with Information Complexity. - Nadia Alshahwan; Earl T. Barr; David Clark 001; George Danezis (CoRR, 2015)

A semiring-based trace semantics for processes with applications to information leakage analysis. - Michele Boreale; David Clark 001; Daniele Gorla (Math. Struct. Comput. Sci., 2015)

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. - Robert Feldt; Simon M. Poulding; David Clark 001; Shin Yoo (ICST, 2016)

Test oracle assessment and improvement. - Gunel Jahangirova; David Clark 001; Mark Harman; Paolo Tonella (ISSTA, 2016)

Similarity of Source Code in the Presence of Pervasive Modifications. - Chaiyong Ragkhitwetsagul; Jens Krinke; David Clark 001 (SCAM, 2016)

ITect: Scalable Information Theoretic Similarity for Malware Detection. - Sukriti Bhattacharya; Héctor D. Menéndez 001; Earl T. Barr; David Clark 001 (CoRR, 2016)

OASIs: oracle assessment and improvement tool. - Gunel Jahangirova; David Clark 001; Mark Harman; Paolo Tonella (ISSTA, 2018)

Indexing Operators to Extend the Reach of Symbolic Execution. - Earl T. Barr; David Clark 001; Mark Harman; Alexandru Marginean (CoRR, 2018)

A comparison of code similarity analysers. - Chaiyong Ragkhitwetsagul; Jens Krinke; David Clark 001 (Empir. Softw. Eng., 2018)

Picking on the family: Disrupting android malware triage by forcing misclassification. - Alejandro Calleja; Alejandro Martín; Héctor D. Menéndez 001; Juan E. Tapiador; David Clark 001 (Expert Syst. Appl., 2018)

Directing a Search Towards Execution Properties with a Learned Fitness Function. - Leonid Joffe; David Clark 001 (ICST, 2019)

Dorylus: An Ant Colony Based Tool for Automated Test Case Generation. - Dan Bruce; Héctor D. Menéndez 001; David Clark 001 (SSBSE, 2019)

Constructing Search Spaces for Search-Based Software Testing Using Neural Networks. - Leonid Joffe; David Clark 001 (SSBSE, 2019)

SafeStrings: Representing Strings as Structured Data. - David A. Kelly; Mark Marron; David Clark 001; Earl T. Barr (CoRR, 2019)

The arms race: Adversarial search defeats entropy used to detect malware. - Héctor D. Menéndez 001; Sukriti Bhattacharya; David Clark 001; Earl T. Barr (Expert Syst. Appl., 2019)

Normalised Squeeziness and Failed Error Propagation. - David Clark 001; Robert M. Hierons; Krishna Patel (Inf. Process. Lett., 2019)

Ant Colony Optimization for Object-Oriented Unit Test Generation. - Dan Bruce; Héctor D. Menéndez 001; Earl T. Barr; David Clark 001 (ANTS Conference, 2020)

Correctly Slicing Extended Finite State Machines. - Torben Amtoft; Kelly Androutsopoulos; David Clark 001 (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

A Generative Neural Network Framework for Automated Software Testing. - Leonid Joffe; David Clark 001 (CoRR, 2020)

An Empirical Study on Failed Error Propagation in Java Programs with Real Faults. - Gunel Jahangirova; David Clark 001; Mark Harman; Paolo Tonella (CoRR, 2020)

Detecting Malware with Information Complexity. - Nadia Alshahwan; Earl T. Barr; David Clark 001; George Danezis; Héctor D. Menéndez 001 (Entropy, 2020)

Dissipative polynomials. - William B. Langdon; Justyna Petke; David Clark 001 (GECCO Companion, 2021)

HyperGI: Automated Detection and Repair of Information Flow Leakage. - Ibrahim Mesecan; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2021)

Software robustness: a survey, a theory, and prospects. - Justyna Petke; David Clark 001; William B. Langdon (ESEC/SIGSOFT FSE, 2021)

Getting Ahead of the Arms Race: Hothousing the Coevolution of VirusTotal with a Packer. - Héctor D. Menéndez 001; David Clark 001; Earl T. Barr (Entropy, 2021)

Diversifying Focused Testing for Unit Testing. - Héctor D. Menéndez 001; Gunel Jahangirova; Federica Sarro; Paolo Tonella; David Clark 001 (ACM Trans. Softw. Eng. Methodol., 2021)

An Empirical Validation of Oracle Improvement. - Gunel Jahangirova; David Clark 001; Mark Harman; Paolo Tonella (IEEE Trans. Software Eng., 2021)

Measuring failed disruption propagation in genetic programming. - William B. Langdon; Afnan A. Al-Subaihin; David Clark 001 (GECCO, 2022)

Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage. - Ibrahim Mesecan; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2022)

Quantitative Verification of Opacity Properties in Security Systems. - Chunyan Mu; David Clark 001 (CoRR, 2022)

An information theoretic notion of software testability. - Krishna Patel; Robert M. Hierons; David Clark 001 (Inf. Softw. Technol., 2022)

Output Sampling for Output Diversity in Automatic Unit Test Generation. - Héctor D. Menéndez 001; Michele Boreale; Daniele Gorla; David Clark 001 (IEEE Trans. Software Eng., 2022)

Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection. - Héctor D. Menéndez 001; David Clark 001 (IEEE Trans. Software Eng., 2022)

Genetic Improvement of LLVM Intermediate Representation. - William B. Langdon; Afnan A. Al-Subaihin; Aymeric Blot; David Clark 001 (EuroGP, 2023)

Genetically Improved Software with fewer Data Cache Misses. - William B. Langdon; Justyna Petke; Aymeric Blot; David Clark 001 (GECCO Companion, 2023)

Dynamic Output State Classification for Quantum Computers. - Héctor D. Menéndez 001; Luciano Bello; David Clark 001 (Q-SE@ICSE, 2023)

June: A Type Testability Transformation for Improved ATG Performance. - Dan Bruce; David A. Kelly; Héctor D. Menéndez 001; Earl T. Barr; David Clark 001 (ISSTA, 2023)

GI Software with fewer Data Cache Misses. - William B. Langdon; Justyna Petke; Aymeric Blot; David Clark 001 (CoRR, 2023)

Verifying Opacity Properties in Security Systems. - Chunyan Mu; David Clark 001 (IEEE Trans. Dependable Secur. Comput., 2023)

PopArt: Ranked Testing Efficiency. - Iason Papapanagiotakis-Bousy; Earl T. Barr; David Clark 001 (IEEE Trans. Software Eng., 2023)

Genetic Improvement of Last Level Cache. - William B. Langdon; David Clark 001 (EuroGP, 2024)

Deep Mutations have Little Impact. - William B. Langdon; David Clark 001 (GI@ICSE, 2024)

Mining for Mutation Operators for Reduction of Information Flow Control Violations. - Ilya Kosorukov; Daniel Blackwell; David Clark 001; Myra B. Cohen; Justyna Petke (ASE, 2024)

Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications. - Carol Hanna; David Clark 001; Federica Sarro; Justyna Petke (CoRR, 2024)

PrescientFuzz: A more effective exploration approach for grey-box fuzzing. - Daniel Blackwell; David Clark 001 (CoRR, 2024)

Population Diversity, Information Theory and Genetic Improvement. - William B. Langdon; David Clark 001 (EuroGP, 2025)

GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows. - Jorge Barredo; Justyna Petke; David Clark 001; Daniel Blackwell; Maialen Eceiza; Jose Luis Flores 001; Mikel Iturbe (SIGSOFT FSE Companion, 2025)

To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators. - Ilaria Pia La Torre; David A. Kelly; Héctor Menéndez 001; David Clark 001 (CoRR, 2025)

NIFuzz: Estimating Quantified Information Flow with a Fuzzer. - Daniel Blackwell; Ingolf Becker; David Clark 001 (CoRR, 2025)

Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer. - Daniel Blackwell; Ingolf Becker; David Clark 001 (Empir. Softw. Eng., 2025)

Deep imperative mutations have less impact. - William B. Langdon; David Clark 001 (Autom. Softw. Eng., 2025)