Items where Author / Artist / Editor is "Clark, David"

Article

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 and Clark, David (2022) Hashing fuzzing: introducing input diversity to improve crash detection. IEEE Transactions on Software Engineering, 48 (9) . pp. 3540-3553. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2021.3100858)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Jahangirova, Gunel, Sarro, Federica, Tonella, Paolo and Clark, David (2021) Diversifying focused testing for unit testing. ACM Transactions on Software Engineering and Methodology, 30 (4) , 44. pp. 1-24. ISSN 1049-331X [Article] (doi:10.1145/3447265)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Clark, David and T. Barr, Earl (2021) Getting ahead of the arms race: hothousing the coevolution of VirusTotal with a Packer. Entropy, 23 (4) , e395. ISSN 1099-4300 [Article] (doi:10.3390/e23040395)

Alshahwan, Nadia, Barr, Earl T., Clark, David, Danezis, George and Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725 (2020) Detecting malware with information complexity. Entropy, 22 (5) , 575. pp. 1-29. ISSN 1099-4300 [Article] (doi:10.3390/e22050575)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Boreale, Michele, Gorla, Daniele and Clark, David (2020) Output sampling for output diversity in automatic unit test generation. IEEE Transactions on Software Engineering . ISSN 0098-5589 [Article] (Published online first) (doi:10.1109/TSE.2020.2987377)

Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Bhattacharya, Sukriti, Clark, David and Barr, Earl T. (2019) The arms race: adversarial search defeats entropy used to detect malware. Expert Systems with Applications, 118 . pp. 246-260. ISSN 0957-4174 [Article] (doi:10.1016/j.eswa.2018.10.011)

Calleja, Alejandro, Martín, Alejandro, Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Tapiador, Juan and Clark, David (2018) Picking on the family: disrupting android malware triage by forcing misclassification. Expert Systems with Applications, 95 . pp. 113-126. ISSN 0957-4174 [Article] (doi:10.1016/j.eswa.2017.11.032)

Clark, David and Altman, Yochanan (2015) In the age of ‘liquid modernity’: self-initiated expatriates in Crete, their multi-generational families and the community. The International Journal of Human Resource Management, 27 (7) . pp. 729-743. ISSN 0958-5192 [Article] (Published online first) (doi:10.1080/09585192.2015.1079230)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Krinke, Jens and Tratt, Laurence (2013) State-based model slicing: a survey. ACM Computing Surveys, 45 (4) . p. 53. ISSN 0360-0300 [Article] (doi:10.1145/2501654.2501667)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Hierons, Robert M., Li, Zheng and Tratt, Laurence (2013) Amorphous slicing of extended finite state machines. IEEE Transactions on Software Engineering, 39 (7) . pp. 892-909. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2012.72)

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark and Li, Zheng (2010) An alternative characterization of weak order dependence. Information Processing Letters, 110 (21) . pp. 939-943. ISSN 0020-0190 [Article] (doi:10.1016/j.ipl.2010.07.023)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Harman, Mark, Li, Zheng and Tratt, Laurence (2009) Control dependence for extended finite state machines. Lecture Notes in Computer Science, 5503 . pp. 216-230. ISSN 0302-9743 [Article] (doi:10.1007/978-3-642-00593-0_15)

Book Section

Amtoft, Torben, Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867 and Clark, David (2020) Correctly slicing extended finite state machines. In: From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement. Di Pierro, Alessandra, Malacaria, Pasquale and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962, eds. Theoretical Computer Science and General Issues (12065) . Springer International Publishing, Switzerland, pp. 149-197. pbk-ISBN 9783030411022, e-ISBN 9783030411039. [Book Section] (doi:10.1007/978-3-030-41103-9_6)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering - ICSE '11. ACM, pp. 291-300. ISBN 9781450304450. [Book Section] (doi:10.1145/1985793.1985834)

Monograph

Alzarouni, Khalid, Clark, David and Tratt, Laurence (2010) Semantic malware detection. Technical Report. King's College London, Department of Computer Science.. . [Monograph] (doi:TR-10-03)

Conference or Workshop Item

Bruce, Dan, Menéndez, Héctor D. ORCID: https://orcid.org/0000-0002-6314-3725, Barr, Earl T. and Clark, David (2020) Ant colony optimization for object-oriented unit test generation. Dorigo, Marco, Stützle, Thomas, Blesa Aguilera, Maria J., Blum, Christian, Haman, Heiko, Heinrich, Maria Katherine and Strobel, Volker, eds. Swarm Intelligence: 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings. In: ANTS 2020, 26-28 Oct 2020, Barcelona, Spain. ISBN 9783030603755, e-ISBN 9783030603762. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-60376-2_3)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Clark, David, Dan, Haitao, Hierons, Robert M. and Harman, Mark (2014) An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: Proceedings of the 36th International Conference on Software Engineering. In: 36th International Conference on Software Engineering, ICSE '14, 31 May - 07 Jun 2014, Hyderabad, India. ISBN 9781450327565. [Conference or Workshop Item] (doi:10.1145/2568225.2568314)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Binkley, David, Clark, David, Gold, Nicolas, Harman, Mark, Lano, Kevin and Li, Zheng (2011) Model projection: simplifying models in response to restricting the environment. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, 21-28 May 2011, Waikiki, Honolulu, HI, USA. . [Conference or Workshop Item]