default search action
David Clark 0001
Person information
- affiliation: University College London, UK
Other persons with the same name
- David Clark — disambiguation page
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c43]William B. Langdon, David Clark
:
Genetic Improvement of Last Level Cache. EuroGP 2024: 209-226 - [c42]William B. Langdon
Deep Mutations have Little Impact. GI@ICSE 2024: 1-8 - [i13]Carol Hanna, David Clark, Federica Sarro, Justyna Petke:
Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications. CoRR abs/2401.09275 (2024) - [i12]Daniel Blackwell, David Clark:
PrescientFuzz: A more effective exploration approach for grey-box fuzzing. CoRR abs/2404.18887 (2024) - 2023
- [j27]Chunyan Mu
Verifying Opacity Properties in Security Systems. IEEE Trans. Dependable Secur. Comput. 20(2): 1450-1460 (2023) - [j26]Iason Papapanagiotakis-Bousy
PopArt: Ranked Testing Efficiency. IEEE Trans. Software Eng. 49(4): 2221-2238 (2023) - [c41]William B. Langdon, Afnan A. Al-Subaihin, Aymeric Blot
Genetic Improvement of LLVM Intermediate Representation. EuroGP 2023: 244-259 - [c40]William B. Langdon
Genetically Improved Software with fewer Data Cache Misses. GECCO Companion 2023: 799-802 - [c39]Héctor D. Menéndez, Luciano Bello
Dynamic Output State Classification for Quantum Computers. Q-SE@ICSE 2023: 16-23 - [c38]Dan Bruce, David A. Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark
June: A Type Testability Transformation for Improved ATG Performance. ISSTA 2023: 274-284 - [i11]William B. Langdon, Justyna Petke, Aymeric Blot, David Clark:
GI Software with fewer Data Cache Misses. CoRR abs/2304.03235 (2023) - [i10]Daniel Blackwell, Ingolf Becker, David Clark:
Hyperfuzzing: black-box security hypertesting with a grey-box fuzzer. CoRR abs/2308.09081 (2023) - 2022
- [j25]Krishna Patel, Robert M. Hierons
An information theoretic notion of software testability. Inf. Softw. Technol. 143: 106759 (2022) - [j24]Héctor D. Menéndez, Michele Boreale
Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Trans. Software Eng. 48(2): 295-308 (2022) - [j23]Héctor D. Menéndez, David Clark
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection. IEEE Trans. Software Eng. 48(9): 3540-3553 (2022) - [c37]William B. Langdon, Afnan A. Al-Subaihin, David Clark
Measuring failed disruption propagation in genetic programming. GECCO 2022: 964-972 - [c36]Ibrahim Mesecan
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage. ASE 2022: 61:1-61:12 - [e1]David Clark
Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings. Lecture Notes in Computer Science 13045, Springer 2022, ISBN 978-3-031-04672-8 [contents] - [i9]Chunyan Mu, David Clark
Quantitative Verification of Opacity Properties in Security Systems. CoRR abs/2206.14317 (2022) - 2021
- [j22]Héctor D. Menéndez
Getting Ahead of the Arms Race: Hothousing the Coevolution of VirusTotal with a Packer. Entropy 23(4): 395 (2021) - [j21]Héctor D. Menéndez
Diversifying Focused Testing for Unit Testing. ACM Trans. Softw. Eng. Methodol. 30(4): 44:1-44:24 (2021) - [j20]Gunel Jahangirova
An Empirical Validation of Oracle Improvement. IEEE Trans. Software Eng. 47(8): 1708-1728 (2021) - [c35]William B. Langdon, Justyna Petke
Dissipative polynomials. GECCO Companion 2021: 1683-1691 - [c34]Ibrahim Mesecan, Daniel Blackwell, David Clark
HyperGI: Automated Detection and Repair of Information Flow Leakage. ASE 2021: 1358-1362 - [c33]Justyna Petke
Software robustness: a survey, a theory, and prospects. ESEC/SIGSOFT FSE 2021: 1475-1478 - [i8]Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke:
HyperGI: Automated Detection and Repair of Information Flow Leakage. CoRR abs/2108.12075 (2021) - 2020
- [j19]Nadia Alshahwan, Earl T. Barr, David Clark
Detecting Malware with Information Complexity. Entropy 22(5): 575 (2020) - [c32]Dan Bruce, Héctor D. Menéndez, Earl T. Barr
Ant Colony Optimization for Object-Oriented Unit Test Generation. ANTS Conference 2020: 29-41 - [c31]Torben Amtoft, Kelly Androutsopoulos, David Clark
Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis 2020: 149-197 - [i7]Leonid Joffe, David Clark:
A Generative Neural Network Framework for Automated Software Testing. CoRR abs/2006.16335 (2020) - [i6]Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults. CoRR abs/2011.10787 (2020)
2010 – 2019
- 2019
- [j18]Héctor D. Menéndez
The arms race: Adversarial search defeats entropy used to detect malware. Expert Syst. Appl. 118: 246-260 (2019) - [j17]David Clark
Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. 149: 6-9 (2019) - [c30]Leonid Joffe, David Clark
Directing a Search Towards Execution Properties with a Learned Fitness Function. ICST 2019: 206-216 - [c29]Leonid Joffe, David Clark
Constructing Search Spaces for Search-Based Software Testing Using Neural Networks. SSBSE 2019: 27-41 - [c28]Dan Bruce, Héctor D. Menéndez, David Clark
Dorylus: An Ant Colony Based Tool for Automated Test Case Generation. SSBSE 2019: 171-180 - [i5]David A. Kelly, Mark Marron, David Clark, Earl T. Barr:
SafeStrings: Representing Strings as Structured Data. CoRR abs/1904.11254 (2019) - 2018
- [j16]Chaiyong Ragkhitwetsagul
A comparison of code similarity analysers. Empir. Softw. Eng. 23(4): 2464-2519 (2018) - [j15]Alejandro Calleja, Alejandro Martín
Picking on the family: Disrupting android malware triage by forcing misclassification. Expert Syst. Appl. 95: 113-126 (2018) - [c27]Gunel Jahangirova, David Clark
OASIs: oracle assessment and improvement tool. ISSTA 2018: 368-371 - [i4]Earl T. Barr, David Clark, Mark Harman, Alexandru Marginean:
Indexing Operators to Extend the Reach of Symbolic Execution. CoRR abs/1806.10235 (2018) - 2016
- [c26]Robert Feldt, Simon M. Poulding, David Clark
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST 2016: 223-233 - [c25]Gunel Jahangirova, David Clark
Test oracle assessment and improvement. ISSTA 2016: 247-258 - [c24]Chaiyong Ragkhitwetsagul
Similarity of Source Code in the Presence of Pervasive Modifications. SCAM 2016: 117-126 - [i3]Sukriti Bhattacharya, Héctor D. Menéndez, Earl T. Barr, David Clark:
ITect: Scalable Information Theoretic Similarity for Malware Detection. CoRR abs/1609.02404 (2016) - 2015
- [j14]Michele Boreale
A semiring-based trace semantics for processes with applications to information leakage analysis. Math. Struct. Comput. Sci. 25(2): 259-291 (2015) - [c23]David Clark
Information Transformation: An Underpinning Theory for Software Engineering. ICSE (2) 2015: 599-602 - [i2]Nadia Alshahwan, Earl T. Barr, David Clark, George Danezis:
Detecting Malware with Information Complexity. CoRR abs/1502.07661 (2015) - [i1]Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo:
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. CoRR abs/1506.03482 (2015) - 2014
- [c22]Kelly Androutsopoulos, David Clark
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: 573-583 - 2013
- [j13]Kelly Androutsopoulos, David Clark
State-based model slicing: A survey. ACM Comput. Surv. 45(4): 53:1-53:36 (2013) - [j12]Shin Yoo, Mark Harman
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. ACM Trans. Softw. Eng. Methodol. 22(3): 19:1-19:29 (2013) - [j11]Kelly Androutsopoulos, David Clark
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39(7): 892-909 (2013) - 2012
- [j10]David Clark
Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012) - 2011
- [j9]David Clark
Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. 21(6): 1109-1110 (2011) - [c21]Kelly Androutsopoulos, David W. Binkley, David Clark
Model projection: simplifying models in response to restricting the environment. ICSE 2011: 291-300 - [c20]Chunyan Mu, David Clark
A Tool: Quantitative Analyser for Programs. QEST 2011: 145-146 - 2010
- [j8]Torben Amtoft, Kelly Androutsopoulos, David Clark
An alternative characterization of weak order dependence. Inf. Process. Lett. 110(21): 939-943 (2010) - [c19]Michele Boreale
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
2000 – 2009
- 2009
- [c18]Chunyan Mu, David Clark
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES 2009: 49-57 - [c17]Kelly Androutsopoulos, David Clark
Control Dependence for Extended Finite State Machines. FASE 2009: 216-230 - [c16]Chunyan Mu, David Clark
An Interval-based Abstraction for Quantifying Information Flow. QAPL 2009: 119-141 - [p1]Kevin Lano, David Clark
Axiomatic Semantics of State Machines. UML 2 Semantics and Applications 2009: 179-203 - 2008
- [c15]Kevin Lano, David Clark:
Semantics and Refinement of Behavior State Machines. ICEIS (3-1) 2008: 42-49 - [c14]David Clark
Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust 2008: 50-66 - [c13]Kevin Lano, David Clark
Model Transformation Specification and Verification. QSIC 2008: 45-54 - 2007
- [j7]David Clark
A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur. 15(3): 321-371 (2007) - [j6]David Clark
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72(2): 123 (2007) - [j5]Kevin Lano, David Clark
Direct Semantics of Extended State Machines. J. Object Technol. 6(9): 35-51 (2007) - 2005
- [j4]David Clark
Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15(2): 181-199 (2005) - [c12]Kevin Lano, Kelly Androutsopoulos, David Clark
Refinement Patterns for UML. REFINE 2005: 131-149 - 2004
- [c11]Kevin Lano, David Clark
UML to B: Formal Verification of Object-Oriented Models. IFM 2004: 187-206 - [c10]David Clark
Quantified Interference for a While Language. QAPL 2004: 149-166 - 2003
- [j3]Kevin Lano, David Clark, Kelly Androutsopoulos:
RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux 9(4): 53-73 (2003) - 2002
- [j2]David Clark
Information flow for Algol-like languages. Comput. Lang. Syst. Struct. 28(1): 3-28 (2002) - [c9]Kevin Lano, David Clark
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM 2002: 49-68 - [c8]Kevin Lano, David Clark
Safety and Security Analysis of Object-Oriented Models. SAFECOMP 2002: 82-93 - 2001
- [c7]David Clark
Quantitative Analysis of the Leakage of Confidential Data. QAPL 2001: 238-251 - 2000
- [c6]Kevin Lano, Kelly Androutsopoulos, David Clark
Structuring and Design of Reactive Systems Using RSDS and B. FASE 2000: 97-111 - [c5]Kevin Lano, David Clark
Invariant-Based Synthesis of Fault-Tolerant Systems. FTRTFT 2000: 46-57 - [c4]David Clark
Safety of Strictness Analysis via Term Graph Rewriting. SAS 2000: 95-114
1990 – 1999
- 1996
- [j1]David Clark, Richard Kennaway:
Event Structures and Non-Orthogonal Term Graph Rewriting. Math. Struct. Comput. Sci. 6(6): 545-578 (1996) - 1995
- [c3]David Clark
Some properties of non-orthogonal term graph rewriting systems. SEGRAGRA 1995: 36-45 - 1994
- [c2]David Clark, Lindsay Errington, Chris Hankin:
Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320 - 1993
- [c1]David Clark
A Lattice of Abstract Graphs. PLILP 1993: 318-331
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-25 22:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: