Browse by UCL people
Group by: Type | Date
Number of items: 32.
Article
Androutsopoulos, K;
Clark, D;
Harman, M;
Krinke, J;
Tratt, L;
(2013)
State-based model slicing: A survey.
ACM Computing Surveys
, 45
(4)
, Article 53. 10.1145/2501654.2501667.
|
 |
|
Calleja, A;
Martín, A;
Menéndez, HD;
Tapiador, J;
Clark, D;
(2018)
Picking on the family: Disrupting android malware triage by forcing misclassification.
Expert Systems with Applications
, 95
pp. 113-126.
10.1016/j.eswa.2017.11.032.
|
 |
|
Clark, D;
Hierons, RM;
Patel, K;
(2019)
Normalised Squeeziness and Failed Error Propagation.
Information Processing Letters
, 149
pp. 6-9.
10.1016/j.ipl.2019.04.001.
|
|
Hanna, Carol;
Clark, David;
Sarro, Federica;
Petke, Justyna;
(2025)
Hot Fixing Software: A Comprehensive Review of Terminology, Techniques, and Applications.
ACM Transactions on Software Engineering and Methodology
, Article 3786330. 10.1145/3786330.
|
|
|
Jahangirova, G;
Clark, D;
Harman, M;
Tonella, P;
(2019)
An Empirical Validation of Oracle Improvement.
IEEE Transactions on Software Engineering
10.1109/TSE.2019.2934409.
(In press).
|
|
Menendez, HD;
Clark, D;
(2021)
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection.
IEEE Transactions on Software Engineering
10.1109/TSE.2021.3100858.
(In press).
|
|
|
Menendez, H;
Jahangirova, G;
Sarro, F;
Tonella, P;
Clark, D;
(2021)
Diversifying Focused Testing for Unit Testing.
ACM Transactions on Software Engineering and Methodology
, Article 44. 10.1145/3461694.
|
|
|
Menéndez, HD;
Bhattacharya, S;
Clark, D;
Barr, ET;
(2019)
The arms race: Adversarial search defeats entropy used to detect malware.
Expert Systems with Applications
, 118
pp. 246-260.
10.1016/j.eswa.2018.10.011.
|
|
|
Menendez, HD;
Boreale, M;
Gorla, D;
Clark, D;
(2020)
Output Sampling for Output Diversity in Automatic Unit Test Generation.
IEEE Transactions on Software Engineering
10.1109/TSE.2020.2987377.
(In press).
|
|
|
Menéndez, HD;
Clark, D;
T Barr, E;
(2021)
Getting Ahead of the Arms Race: Hothousing the Coevolution of VirusTotal with a Packer.
Entropy
, 23
(4)
, Article 395. 10.3390/e23040395.
|
|
|
Mu, C;
Clark, D;
(2022)
Verifying Opacity Properties in Security Systems.
IEEE Transactions on Dependable and Secure Computing
10.1109/TDSC.2022.3155323.
(In press).
|
|
|
Patel, K;
Hierons, RM;
Clark, D;
(2022)
An information theoretic notion of software testability.
Information and Software Technology
, 143
, Article 106759. 10.1016/j.infsof.2021.106759.
|
|
Ragkhitwetsagul, C;
Krinke, J;
Clark, D;
(2018)
A comparison of code similarity analysers.
Empirical Software Engineering
, 23
(4)
pp. 2464-2519.
10.1007/s10664-017-9564-7.
|
Proceedings paper
|
Androutsopoulos, K;
Clark, D;
Dan, H;
Hierons, RM;
Harman, M;
(2014)
An analysis of the relationship between conditional entropy and failed error propagation in software testing.
In: Jalote, P and Briand, L and Van der Hoek, A, (eds.)
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering.
(pp. pp. 573-583).
Association for Computing Machinery (ACM): New York, NY, USA.
|
|
|
Barredo, Jorge;
Petke, Justyna;
Clark, David;
Blackwell, Dan;
Eceiza, Maialen;
Iturbe, Mikel;
Flores, Jose Luis;
(2025)
GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into
Traditional Fuzzing Workflows.
In:
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (FSE Companion ’25).
(pp. pp. 550-554).
ACM
|
|
Bruce, D;
Kelly, D;
Menendez, H;
Barr, ET;
Clark, D;
(2023)
June: A Type Testability Transformation for Improved ATG Performance.
In:
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis.
(pp. pp. 274-284).
ACM
|
|
Bruce, D;
Menéndez, HD;
Barr, ET;
Clark, D;
(2020)
Ant Colony Optimization for Object-Oriented Unit Test Generation.
In: Dorigo, M and Stützle, T and Blesa, MJ and Blum, C and Hamann, H and Heinrich, MK and Strobel, V, (eds.)
Swarm Intelligence: 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings.
(pp. pp. 29-41).
Springer: Cham, Switzerland.
|
|
|
Bruce, D;
Menéndez, HD;
Clark, D;
(2019)
Dorylus: An Ant Colony Based Tool for Automated Test Case Generation.
In:
Lecture Notes in Computer Science.
(pp. pp. 171-180).
Springer: Tallinn, Estonia.
|
|
Feldt, R;
Poulding, S;
Clark, D;
Yoo, S;
(2016)
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.
In: Grechanik, M, (ed.)
2016 IEEE International Conference on Software Testing, Verification and Validation: Proceedings.
(pp. pp. 223-233).
Institute of Electrical and Electronics Engineers (IEEE)
|
|
|
Jahangirova, G;
Clark, D;
Harman, M;
Tonella, P;
(2018)
OASIs: Oracle assessment and improvement tool.
In:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis.
(pp. pp. 368-371).
ACM: New York, NY, USA.
|
|
|
Jahangirova, G;
Clark, D;
Harman, M;
Tonella, P;
(2016)
Test oracle assessment and improvement.
In: Zeller, A and Roychoudhury, A, (eds.)
ISSTA 2016: Proceedings of the 25th International Symposium on Software Testing and Analysis.
(pp. pp. 247-258).
Association for Computing Machinery (ACM): New York, NY, USA.
|
|
|
Joffe, L;
Clark, D;
(2019)
Constructing Search Spaces for Search-Based Software Testing Using Neural Networks.
In: Nejati, S and Gay, G, (eds.)
Lecture Notes in Computer Science.
(pp. pp. 27-41).
Springer: Tallinn, Estonia.
|
|
Joffe, L;
Clark, D;
(2019)
Directing a Search Towards Execution Properties with a Learned Fitness Function.
In:
Proceedings of IEEE International Conference on Software Testing, Verification and Validation - 2019.
(pp. pp. 206-216).
IEEE
|
|
|
Langdon, WB;
Al-Subaihin, A;
Clark, D;
(2022)
Measuring failed disruption propagation in genetic programming.
In:
GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference.
(pp. pp. 964-972).
ACM: New York, NY, United States.
|
|
Langdon, WB;
Petke, J;
Clark, D;
(2021)
Dissipative polynomials.
In:
GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion.
(pp. pp. 1683-1691).
ACM
|
|
|
Langdon, William B;
Clark, David;
(2024)
Deep Mutations have Little Impact.
In:
GI '24: Proceedings of the 13th ACM/IEEE International Workshop on Genetic Improvement.
(pp. pp. 1-8).
ACM (Association for Computing Machinery): New York, NY, USA.
|
|
Langdon, William B;
Clark, David;
(2024)
Genetic Improvement of Last Level Cache.
In: Giacobini, Mario and Xue, Bing and Manzoni, Luca, (eds.)
Genetic Programming (EuroGP 2024).
(pp. pp. 209-226).
Springer Nature Switzerland AG: Cham, Switzerland.
|
|
Menendez, HD;
Bello, L;
Clark, D;
(2023)
Dynamic Output State Classification for Quantum Computers.
In:
Proceedings - 2023 IEEE/ACM 4th International Workshop on Quantum Software Engineering, Q-SE 2023.
(pp. pp. 16-23).
IEEE: Melbourne, Australia.
|
|
Mesecan, I;
Blackwell, D;
Clark, D;
Cohen, MB;
Petke, J;
(2022)
HyperGI: Automated Detection and Repair of Information Flow Leakage.
In:
36th IEEE/ACM International Conference on Automated Software Engineering (ASE).
IEEE: Melbourne, Australia.
|
|
Petke, J;
Clark, D;
Langdon, WB;
(2021)
Software robustness: A survey, a theory, and prospects.
In:
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
(pp. pp. 1475-1478).
Association for Computing Machinery (ACM): New York, NY, USA.
|
 |
|
Ragkhitwetsagul, C;
Krinke, J;
Clark, D;
(2016)
Similarity of Source Code in the Presence of Pervasive Modifications.
In:
Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
(pp. pp. 117-126).
IEEE
|
|
Working / discussion paper
|
Alshahwan, N;
Barr, ET;
Clark, D;
Danezis, G;
(2015)
Detecting Malware with Information Complexity.
|
