Mark Harman
Mark Harman
Engineering Manager at Facebook, London & Professor of Software Engineering at UCL
Verified email at - Homepage
TitleCited byYear
An analysis and survey of the development of mutation testing
Y Jia, M Harman
IEEE transactions on software engineering 37 (5), 649-678, 2010
Regression testing minimization, selection and prioritization: a survey
S Yoo, M Harman
Software Testing, Verification and Reliability 22 (2), 67-120, 2012
Search-based software engineering
M Harman, BF Jones
Information and software Technology 43 (14), 833-839, 2001
Search algorithms for regression test case prioritization
Z Li, M Harman, RM Hierons
IEEE Transactions on software engineering 33 (4), 225-237, 2007
The current state and future of search based software engineering
M Harman
2007 Future of Software Engineering, 342-357, 2007
Search-based software engineering: Trends, techniques and applications
M Harman, SA Mansouri, Y Zhang
ACM Computing Surveys (CSUR) 45 (1), 11, 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
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
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
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
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
Pareto efficient multi-objective test case selection
S Yoo, M Harman
Proceedings of the 2007 international symposium on Software testing and …, 2007
Search based software engineering: A comprehensive analysis and review of trends techniques and applications
M Harman, SA Mansouri, Y Zhang
Department of Computer Science, King’s College London, Tech. Rep. TR-09-03, 23, 2009
Software module clustering as a multi-objective search problem
K Praditwong, M Harman, X Yao
IEEE Transactions on Software Engineering 37 (2), 264-282, 2010
App store mining and analysis: MSR for app stores
M Harman, Y Jia, Y Zhang
Proceedings of the 9th IEEE Working Conference on Mining Software …, 2012
Higher order mutation testing
Y Jia, M Harman
Information and Software Technology 51 (10), 1379-1393, 2009
Testability transformation
M Harman, L Hu, R Hierons, J Wegener, H Sthamer, A Baresel, M Roper
IEEE Transactions on Software Engineering 30 (1), 3-16, 2004
Search Based Software Engineering: Techniques, Taxonomy, Tutorial
M Harman, P McMinn, JT de Souza, S Yoo
Empirical Software Engineering and Verification: LASER 2009-2010, 2012
Using program slicing to assist in the detection of equivalent mutants
R Hierons, M Harman, S Danicic
Software Testing, Verification and Reliability 9 (4), 233-262, 1999
The multi-objective next release problem
Y Zhang, M Harman, SA Mansouri
Proceedings of the 9th annual conference on Genetic and evolutionary …, 2007
The system can't perform the operation now. Try again later.
Articles 1–20