David Clark - RankMe

92 papers A* 5A 6B 12C 2Journal 44Unranked 22

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Deep imperative mutations have less impact. Autom. Softw. Eng. William B. Langdon, David Clark
2025	—	`conf`	GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows. SIGSOFT FSE Companion Jorge Barredo, Justyna Petke, David Clark, Daniel Blackwell, Maialen Eceiza, Jose Luis Flores, Mikel Iturbe
2025	J	`jnl`	Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer. Empir. Softw. Eng. Daniel Blackwell, Ingolf Becker, David Clark
2025	J	`jnl`	NIFuzz: Estimating Quantified Information Flow with a Fuzzer. CoRR Daniel Blackwell, Ingolf Becker, David Clark
2025	B	`conf`	Population Diversity, Information Theory and Genetic Improvement. EuroGP William B. Langdon, David Clark
2025	J	`jnl`	To BEE or not to BEE: Estimating more than Entropy with Biased Entropy Estimators. CoRR Ilaria Pia La Torre, David A. Kelly, Héctor Menéndez, David Clark
2024	—	`conf`	Deep Mutations have Little Impact. GI@ICSE William B. Langdon, David Clark
2024	B	`conf`	Genetic Improvement of Last Level Cache. EuroGP William B. Langdon, David Clark
2024	J	`jnl`	Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications. CoRR Carol Hanna, David Clark, Federica Sarro, Justyna Petke
2024	A*	`conf`	Mining for Mutation Operators for Reduction of Information Flow Control Violations. ASE Ilya Kosorukov, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
2024	J	`jnl`	PrescientFuzz: A more effective exploration approach for grey-box fuzzing. CoRR Daniel Blackwell, David Clark
2023	—	`conf`	Dynamic Output State Classification for Quantum Computers. Q-SE@ICSE Héctor D. Menéndez, Luciano Bello, David Clark
2023	J	`jnl`	GI Software with fewer Data Cache Misses. CoRR William B. Langdon, Justyna Petke, Aymeric Blot, David Clark
2023	B	`conf`	Genetic Improvement of LLVM Intermediate Representation. EuroGP William B. Langdon, Afnan A. Al-Subaihin, Aymeric Blot, David Clark
2023	—	`conf`	Genetically Improved Software with fewer Data Cache Misses. GECCO Companion William B. Langdon, Justyna Petke, Aymeric Blot, David Clark
2023	J	`jnl`	Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer. CoRR Daniel Blackwell, Ingolf Becker, David Clark
2023	A	`conf`	June: A Type Testability Transformation for Improved ATG Performance. ISSTA Dan Bruce, David A. Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark
2023	J	`jnl`	PopArt: Ranked Testing Efficiency. IEEE Trans. Software Eng. Iason Papapanagiotakis-Bousy, Earl T. Barr, David Clark
2023	J	`jnl`	Verifying Opacity Properties in Security Systems. IEEE Trans. Dependable Secur. Comput. Chunyan Mu, David Clark
2022	J	`jnl`	An information theoretic notion of software testability. Inf. Softw. Technol. Krishna Patel, Robert M. Hierons, David Clark
2022	J	`jnl`	Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection. IEEE Trans. Software Eng. Héctor D. Menéndez, David Clark
2022	A*	`conf`	Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage. ASE Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
2022	A	`conf`	Measuring failed disruption propagation in genetic programming. GECCO William B. Langdon, Afnan A. Al-Subaihin, David Clark
2022	J	`jnl`	Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Trans. Software Eng. Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
2022	J	`jnl`	Quantitative Verification of Opacity Properties in Security Systems. CoRR Chunyan Mu, David Clark
2022	C	`ed.`	Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings ICTSS David Clark, Héctor D. Menéndez, Ana Rosa Cavalli
2021	J	`jnl`	An Empirical Validation of Oracle Improvement. IEEE Trans. Software Eng. Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2021	—	`conf`	Dissipative polynomials. GECCO Companion William B. Langdon, Justyna Petke, David Clark
2021	J	`jnl`	Diversifying Focused Testing for Unit Testing. ACM Trans. Softw. Eng. Methodol. Héctor D. Menéndez, Gunel Jahangirova, Federica Sarro, Paolo Tonella, David Clark
2021	J	`jnl`	Getting Ahead of the Arms Race: Hothousing the Coevolution of VirusTotal with a Packer. Entropy Héctor D. Menéndez, David Clark, Earl T. Barr
2021	A*	`conf`	HyperGI: Automated Detection and Repair of Information Flow Leakage. ASE Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
2021	J	`jnl`	HyperGI: Automated Detection and Repair of Information Flow Leakage. CoRR Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
2021	—	`conf`	Software robustness: a survey, a theory, and prospects. ESEC/SIGSOFT FSE Justyna Petke, David Clark, William B. Langdon
2020	J	`jnl`	A Generative Neural Network Framework for Automated Software Testing. CoRR Leonid Joffe, David Clark
2020	J	`jnl`	An Empirical Study on Failed Error Propagation in Java Programs with Real Faults. CoRR Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2020	—	`conf`	Ant Colony Optimization for Object-Oriented Unit Test Generation. ANTS Conference Dan Bruce, Héctor D. Menéndez, Earl T. Barr, David Clark
2020	—	`conf`	Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis Torben Amtoft, Kelly Androutsopoulos, David Clark
2020	J	`jnl`	Detecting Malware with Information Complexity. Entropy Nadia Alshahwan, Earl T. Barr, David Clark, George Danezis, Héctor D. Menéndez
2019	B	`conf`	Constructing Search Spaces for Search-Based Software Testing Using Neural Networks. SSBSE Leonid Joffe, David Clark
2019	A	`conf`	Directing a Search Towards Execution Properties with a Learned Fitness Function. ICST Leonid Joffe, David Clark
2019	B	`conf`	Dorylus: An Ant Colony Based Tool for Automated Test Case Generation. SSBSE Dan Bruce, Héctor D. Menéndez, David Clark
2019	J	`jnl`	Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. David Clark, Robert M. Hierons, Krishna Patel
2019	J	`jnl`	SafeStrings: Representing Strings as Structured Data. CoRR David A. Kelly, Mark Marron, David Clark, Earl T. Barr
2019	J	`jnl`	The arms race: Adversarial search defeats entropy used to detect malware. Expert Syst. Appl. Héctor D. Menéndez, Sukriti Bhattacharya, David Clark, Earl T. Barr
2018	J	`jnl`	A comparison of code similarity analysers. Empir. Softw. Eng. Chaiyong Ragkhitwetsagul, Jens Krinke, David Clark
2018	J	`jnl`	Indexing Operators to Extend the Reach of Symbolic Execution. CoRR Earl T. Barr, David Clark, Mark Harman, Alexandru Marginean
2018	A	`conf`	OASIs: oracle assessment and improvement tool. ISSTA Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2018	J	`jnl`	Picking on the family: Disrupting android malware triage by forcing misclassification. Expert Syst. Appl. Alejandro Calleja, Alejandro Martín, Héctor D. Menéndez, Juan E. Tapiador, David Clark
2016	J	`jnl`	ITect: Scalable Information Theoretic Similarity for Malware Detection. CoRR Sukriti Bhattacharya, Héctor D. Menéndez, Earl T. Barr, David Clark
2016	C	`conf`	Similarity of Source Code in the Presence of Pervasive Modifications. SCAM Chaiyong Ragkhitwetsagul, Jens Krinke, David Clark
2016	A	`conf`	Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo
2016	A	`conf`	Test oracle assessment and improvement. ISSTA Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2015	J	`jnl`	A semiring-based trace semantics for processes with applications to information leakage analysis. Math. Struct. Comput. Sci. Michele Boreale, David Clark, Daniele Gorla
2015	J	`jnl`	Detecting Malware with Information Complexity. CoRR Nadia Alshahwan, Earl T. Barr, David Clark, George Danezis
2015	—	`conf`	Information Transformation: An Underpinning Theory for Software Engineering. ICSE (2) David Clark, Robert Feldt, Simon M. Poulding, Shin Yoo
2015	J	`jnl`	Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. CoRR Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo
2014	A*	`conf`	An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
2013	J	`jnl`	Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
2013	J	`jnl`	Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. ACM Trans. Softw. Eng. Methodol. Shin Yoo, Mark Harman, David Clark
2013	J	`jnl`	State-based model slicing: A survey. ACM Comput. Surv. Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
2012	J	`jnl`	Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. David Clark, Robert M. Hierons
2011	—	`conf`	A Tool: Quantitative Analyser for Programs. QEST Chunyan Mu, David Clark
2011	J	`jnl`	Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. David Clark, Roberto Giacobazzi, Chunyan Mu
2011	A*	`conf`	Model projection: simplifying models in response to restricting the environment. ICSE Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
2010	—	`conf`	A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS Michele Boreale, David Clark, Daniele Gorla
2010	J	`jnl`	An alternative characterization of weak order dependence. Inf. Process. Lett. Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
2009	—	`conf`	An Interval-based Abstraction for Quantifying Information Flow. QAPL Chunyan Mu, David Clark
2009	—	`ch.`	Axiomatic Semantics of State Machines. UML 2 Semantics and Applications Kevin Lano, David Clark
2009	B	`conf`	Control Dependence for Extended Finite State Machines. FASE Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
2009	B	`conf`	Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES Chunyan Mu, David Clark
2008	—	`conf`	Model Transformation Specification and Verification. QSIC Kevin Lano, David Clark
2008	—	`conf`	Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust David Clark, Sebastian Hunt
2008	—	`conf`	Semantics and Refinement of Behavior State Machines. ICEIS (3-1) Kevin Lano, David Clark
2007	J	`jnl`	A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur. David Clark, Sebastian Hunt, Pasquale Malacaria
2007	J	`jnl`	Direct Semantics of Extended State Machines. J. Object Technol. Kevin Lano, David Clark
2007	J	`jnl`	Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. David Clark, Sebastian Danicic, Roberto Giacobazzi
2005	J	`jnl`	Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. David Clark, Sebastian Hunt, Pasquale Malacaria
2005	—	`conf`	Refinement Patterns for UML. REFINE Kevin Lano, Kelly Androutsopoulos, David Clark
2004	—	`conf`	Quantified Interference for a While Language. QAPL David Clark, Sebastian Hunt, Pasquale Malacaria
2004	B	`conf`	UML to B: Formal Verification of Object-Oriented Models. IFM Kevin Lano, David Clark, Kelly Androutsopoulos
2003	J	`jnl`	RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux Kevin Lano, David Clark, Kelly Androutsopoulos
2002	B	`conf`	From Implicit Specifications to Explicit Designs in Reactive System Development. IFM Kevin Lano, David Clark, Kelly Androutsopoulos
2002	J	`jnl`	Information flow for Algol-like languages. Comput. Lang. Syst. Struct. David Clark, Chris Hankin, Sebastian Hunt
2002	B	`conf`	Safety and Security Analysis of Object-Oriented Models. SAFECOMP Kevin Lano, David Clark, Kelly Androutsopoulos
2001	—	`conf`	Quantitative Analysis of the Leakage of Confidential Data. QAPL David Clark, Sebastian Hunt, Pasquale Malacaria
2000	—	`conf`	Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT Kevin Lano, David Clark, Kelly Androutsopoulos, Pauline Kan
2000	B	`conf`	Safety of Strictness Analysis via Term Graph Rewriting. SAS David Clark, Chris Hankin, Sebastian Hunt
2000	B	`conf`	Structuring and Design of Reactive Systems Using RSDS and B. FASE Kevin Lano, Kelly Androutsopoulos, David Clark
1996	J	`jnl`	Event Structures and Non-Orthogonal Term Graph Rewriting. Math. Struct. Comput. Sci. David Clark, Richard Kennaway
1995	—	`conf`	Some properties of non-orthogonal term graph rewriting systems. SEGRAGRA David Clark, Richard Kennaway
1994	—	`conf`	Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods David Clark, Lindsay Errington, Chris Hankin
1993	—	`conf`	A Lattice of Abstract Graphs. PLILP David Clark, Chris Hankin