| Search algorithms for regression test case prioritization Z Li, M Harman, RM Hierons IEEE Transactions on software engineering 33 (4), 225-237, 2007 | 1031 | 2007 |
| 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 | 553 | 2009 |
| Smart contracts vulnerabilities: a call for blockchain software engineering? G Destefanis, M Marchesi, M Ortu, R Tonelli, A Bracciali, R Hierons 2018 International Workshop on Blockchain Oriented Software Engineering …, 2018 | 397 | 2018 |
| 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 | 350 | 2004 |
| 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 | 266 | 2003 |
| An overview of program slicing M Harman, R Hierons software focus 2 (3), 85-92, 2001 | 262 | 2001 |
| A multiple hill climbing approach to software module clustering K Mahdavi, M Harman, RM Hierons International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003 | 217 | 2003 |
| How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution K Adamopoulos, M Harman, RM Hierons Genetic and evolutionary computation conference, 1338-1349, 2004 | 210 | 2004 |
| A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. M Harman, RM Hierons, M Proctor GECCO 2, 1351-1358, 2002 | 203 | 2002 |
| Testing from a Z specification RM Hierons Software Testing, Verification and Reliability 7 (1), 19-33, 1997 | 185 | 1997 |
| Reformulating software engineering as a search problem JA Clark, JJ Dolado, M Harman, RM Hierons, BE Jones, M Lumkin, ... Institute of Electrical and Electronics Engineers, Inc, 2003 | 170 | 2003 |
| Do moods affect programmers’ debug performance? IA Khan, WP Brinkman, RM Hierons Cognition, Technology & Work 13 (4), 245-258, 2011 | 169 | 2011 |
| Generating feasible transition paths for testing from an extended finite state machine (EFSM) AS Kalaji, RM Hierons, S Swift 2009 international conference on software testing verification and …, 2009 | 148 | 2009 |
| Improving Evolutionary Testing By Flag Removal. M Harman, L Hu, RM Hierons, A Baresel, H Sthamer GECCO, 1359-1366, 2002 | 134 | 2002 |
| Digital-twin-based testing for cyber–physical systems: A systematic literature review RJ Somers, JA Douthwaite, DJ Wagg, N Walkinshaw, RM Hierons Information and Software Technology 156, 107145, 2023 | 133 | 2023 |
| SIP: Optimal product selection from feature models using many-objective evolutionary optimization RM Hierons, M Li, X Liu, S Segura, W Zheng ACM Transactions on Software Engineering and Methodology (TOSEM) 25 (2), 1-39, 2016 | 125 | 2016 |
| Optimizing the length of checking sequences RM Hierons, H Ural IEEE Transactions on Computers 55 (5), 618-629, 2006 | 119 | 2006 |
| Testing from a nondeterministic finite state machine using adaptive state counting RM Hierons IEEE Transactions on Computers 53 (10), 1330-1342, 2004 | 116 | 2004 |
| Reduced length checking sequences RM Hierons, H Ural IEEE Transactions on Computers 51 (9), 1111-1117, 2002 | 109 | 2002 |
| Automated metamorphic testing on the analyses of feature models S Segura, RM Hierons, D Benavides, A Ruiz-Cortés Information and Software Technology 53 (3), 245-258, 2011 | 104 | 2011 |
