123 citations · 134 across the 5 of their papers we have counts for
6 papers
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults
Gunel Jahangirova, David Clark, Mark Harman +1
During testing, developers can place oracles externally or internally with respect to a method. Given a faulty execution state, i.e., one that differs from the expected one, an ora…
SafeStrings: Representing Strings as Structured Data
David Kelly, Mark Marron, David Clark +1
Strings are ubiquitous in code. Not all strings are created equal, some contain structure that makes them incompatible with other strings. CSS units are an obvious example. Worse,…
Indexing Operators to Extend the Reach of Symbolic Execution
Earl T. Barr, David Clark, Mark Harman +1
Traditional program analysis analyses a program language, that is, all programs that can be written in the language. There is a difference, however, between all possible programs t…
ITect: Scalable Information Theoretic Similarity for Malware Detection
Sukriti Bhattacharya, Hector D. Menendez, Earl Barr +1
Malware creators have been getting their way for too long now. String-based similarity measures can leverage ground truth in a scalable way and can operate at a level of abstractio…
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases
Robert Feldt, Simon Poulding, David Clark +1
A common and natural intuition among software testers is that test cases need to differ if a software system is to be tested properly and its quality ensured. Consequently, much re…
Detecting Malware with Information Complexity
Nadia Alshahwan, Earl T. Barr, David Clark +1
This work focuses on a specific front of the malware detection arms-race, namely the detection of persistent, disk-resident malware. We exploit normalised compression distance (NCD…