An analysis and survey of the development of mutation testing Y Jia, M Harman IEEE transactions on software engineering 37 (5), 649-678, 2010 | 2161 | 2010 |
Regression testing minimization, selection and prioritization: a survey S Yoo, M Harman Software testing, verification and reliability 22 (2), 67-120, 2012 | 1920 | 2012 |
Search-based software engineering M Harman, BF Jones Information and software Technology 43 (14), 833-839, 2001 | 1185 | 2001 |
The oracle problem in software testing: A survey ET Barr, M Harman, P McMinn, M Shahbaz, S Yoo IEEE transactions on software engineering 41 (5), 507-525, 2014 | 1173 | 2014 |
Search algorithms for regression test case prioritization Z Li, M Harman, RM Hierons IEEE Transactions on software engineering 33 (4), 225-237, 2007 | 1002 | 2007 |
Search-based software engineering: Trends, techniques and applications M Harman, SA Mansouri, Y Zhang ACM Computing Surveys (CSUR) 45 (1), 1-61, 2012 | 964 | 2012 |
An orchestrated survey of methodologies for automated software test case generation S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ... Journal of systems and software 86 (8), 1978-2001, 2013 | 936 | 2013 |
The current state and future of search based software engineering M Harman Future of Software Engineering (FOSE'07), 342-357, 2007 | 864 | 2007 |
Machine learning testing: Survey, landscapes and horizons JM Zhang, M Harman, L Ma, Y Liu IEEE Transactions on Software Engineering 48 (1), 1-36, 2020 | 849 | 2020 |
Sapienz: Multi-objective automated testing for android applications K Mao, M Harman, Y Jia Proceedings of the 25th international symposium on software testing and …, 2016 | 615 | 2016 |
A survey of app store analysis for software engineering W Martin, F Sarro, Y Jia, Y Zhang, M Harman IEEE transactions on software engineering 43 (9), 817-847, 2016 | 538 | 2016 |
Using formal specifications to support testing RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ... ACM Computing Surveys (CSUR) 41 (2), 9, 2009 | 518 | 2009 |
A theoretical and empirical study of search-based testing: Local, global, and hybrid search M Harman, P McMinn IEEE Transactions on Software Engineering 36 (2), 226-247, 2009 | 515 | 2009 |
Pareto efficient multi-objective test case selection S Yoo, M Harman Proceedings of the 2007 international symposium on Software testing and …, 2007 | 513 | 2007 |
Mutation testing advances: an analysis and survey M Papadakis, M Kintis, J Zhang, Y Jia, Y Le Traon, M Harman Advances in computers 112, 275-378, 2019 | 505 | 2019 |
A survey of the use of crowdsourcing in software engineering K Mao, L Capra, M Harman, Y Jia Journal of Systems and Software 126, 57-84, 2017 | 500 | 2017 |
App store mining and analysis: MSR for app stores M Harman, Y Jia, Y Zhang 2012 9th IEEE working conference on mining software repositories (MSR), 108-111, 2012 | 457 | 2012 |
Software module clustering as a multi-objective search problem M Harman, X Yao IEEE Transactions on Software Engineering 37 (2), 264-282, 2010 | 453 | 2010 |
Reformulating software engineering as a search problem J Clarke, JJ Dolado, M Harman, R Hierons, B Jones, M Lumkin, B Mitchell, ... IEE Proceedings-software 150 (3), 161-175, 2003 | 431 | 2003 |
Search based software engineering: A comprehensive analysis and review of trends techniques and applications M Harman, SA Mansouri, Y Zhang Technical Report TR-09-03, Department of Computer Science, King’s College London, 2009 | 400 | 2009 |