Robert Hierons
TitleCited byYear
Search algorithms for regression test case prioritization
Z Li, M Harman, RM Hierons
IEEE Transactions on software engineering 33 (4), 225-237, 2007
7182007
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
4032009
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
3682003
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
2502004
An overview of program slicing
M Harman, R Hierons
software focus 2 (3), 85-92, 2001
1902001
A multiple hill climbing approach to software module clustering
K Mahdavi, M Harman, RM Hierons
International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003
1712003
Testing from a Z specification
RM Hierons
Software Testing, Verification and Reliability 7 (1), 19-33, 1997
1711997
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
M Harman, RM Hierons, M Proctor
GECCO 2, 1351-1358, 2002
1662002
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
1582004
Improving evolutionary testing by flag removal
M Harman, L Hu, R Hierons, A Baresel, H Sthamer
Proceedings of the 4th Annual Conference on Genetic and Evolutionary …, 2002
1132002
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
1092009
Optimizing the length of checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 55 (5), 618-629, 2006
962006
Reduced length checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 51 (9), 1111-1117, 2002
902002
Automated unique input output sequence generation for conformance testing of FSMs
K Derderian, RM Hierons, M Harman, Q Guo
The Computer Journal 49 (3), 331-344, 2006
842006
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
822011
Testing from a nondeterministic finite state machine using adaptive state counting
RM Hierons
IEEE Transactions on Computers 53 (10), 1330-1342, 2004
812004
Do moods affect programmers’ debug performance?
IA Khan, WP Brinkman, RM Hierons
Cognition, Technology & Work 13 (4), 245-258, 2011
752011
Evolving transformation sequences using genetic algorithms
D Fatiregun, M Harman, RM Hierons
Source Code Analysis and Manipulation, Fourth IEEE International Workshop on …, 2004
692004
Automated test data generation on the analyses of feature models: A metamorphic testing approach
S Segura, RM Hierons, D Benavides, A Ruiz-Cortés
2010 Third International Conference on Software Testing, Verification and …, 2010
672010
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models
AS Kalaji, RM Hierons, S Swift
Information and Software Technology 53 (12), 1297-1318, 2011
632011
The system can't perform the operation now. Try again later.
Articles 1–20