Harman, Mark
University College London
12 papers on CoChatORCID 0000-0002-5864-4488
Most cited papers
- Verified
The oracle problem in software testing: A survey
Barr, E. T., Harman, M., McMinn, P., Shahbaz, M., & Yoo, S. (2015) · IEEE Transactions on Software Engineering
Software Testing and Debugging TechniquesSoftware Engineering Techniques and Practices
Cited by 1,104
- Verified
Machine Learning Testing: Survey, Landscapes and Horizons
Zhang, J. M., Harman, M., Ma, L., & Liu, Y. (2022) · IEEE Transactions on Software Engineering
Software Testing and Debugging TechniquesAdversarial Robustness in Machine Learning
Cited by 897
- Verified
Large language models for software engineering: survey and open problems
Fan, A., Gokkaya, B., Harman, M., Lyubarskiy, M., Sengupta, S., Yoo, S., & Zhang, J. M. (2023) · 2023 IEEE/ACM International Conference on Software Engineering: Future of Software Engineering (ICSE-FoSE)
Software Engineering ResearchSoftware Engineering Techniques and Practices
Cited by 650
- Verified
Large Language Models for Software Engineering: Survey and Open Problems
Fan, A., Gokkaya, B., Harman, M., Lyubarskiy, M., Sengupta, S., Yoo, S., & Zhang, J. M. (2023) · arXiv
Software Engineering ResearchSoftware Engineering Techniques and Practices
Cited by 523
- Verified
A Survey of App Store Analysis for Software Engineering
Martin, W., Sarro, F., Jia, Y., Zhang, Y., & Harman, M. (2017) · IEEE Transactions on Software Engineering
Software Engineering ResearchSoftware Engineering Techniques and Practices
Cited by 459
- Verified
An Empirical Study of the Non-Determinism of ChatGPT in Code Generation
Ouyang, S., Zhang, J. M., Harman, M., & Wang, M. (2025) · ACM Transactions on Software Engineering and Methodology
Software Engineering ResearchTopic Modeling
Cited by 258
- Verified
Bias Mitigation for Machine Learning Classifiers: A Comprehensive Survey
Hort, M., Chen, Z., Zhang, J. M., Harman, M., & Sarro, F. (2022) · arXiv
Ethics and Social Impacts of AIExplainable Artificial Intelligence (XAI)
Cited by 222
- Verified
Searching for better configurations: a rigorous approach to clone evaluation
Wang, T., Harman, M., Jia, Y., & Krinke, J. (2013) · Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Software Engineering ResearchSoftware Engineering Techniques and Practices
Cited by 147
- Verified
A Survey of Performance Optimization for Mobile Applications
Hort, M., Kechagia, M., Sarro, F., & Harman, M. (2022) · IEEE Transactions on Software Engineering
Mobile and Web ApplicationsGreen IT and Sustainability
Cited by 91
- Verified
Leveraging automated unit tests for unsupervised code translation
Roziere, B., Zhang, J. M., Charton, F., Harman, M., Synnaeve, G., & Lample, G. (2021) · arXiv
Software Engineering ResearchNatural Language Processing Techniques
Cited by 39
- Verified
Large Language Models in Fault Localisation
Wu, Y., Li, Z., Zhang, J. M., Papadakis, M., Harman, M., & Liu, Y. (2023) · arXiv
Software Testing and Debugging TechniquesSoftware Engineering Research
Cited by 28
- Verified
A Study of LLMs’ Preferences for Libraries and Programming Languages
Twist, L., Zhang, J. M., Harman, M., Syme, D., Noppen, J., Yannakoudakis, H., & Nauck, D. (2026) · Findings of the Association for Computational Linguistics: ACL 2026
Software Engineering ResearchTopic Modeling
Cited by 5
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free