Robert Hierons
Robert Hierons
Dirección de correo verificada de sheffield.ac.uk - Página principal
Título
Citado por
Citado por
Año
Search algorithms for regression test case prioritization
Z Li, M Harman, RM Hierons
IEEE Transactions on software engineering 33 (4), 225-237, 2007
8262007
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
4112009
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
4032003
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
2932004
An overview of program slicing
M Harman, R Hierons
software focus 2 (3), 85-92, 2001
2102001
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
M Harman, RM Hierons, M Proctor
GECCO 2, 1351-1358, 2002
1882002
A multiple hill climbing approach to software module clustering
K Mahdavi, M Harman, RM Hierons
International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003
1862003
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
1822004
Testing from a Z specification
RM Hierons
Software Testing, Verification and Reliability 7 (1), 19-33, 1997
1781997
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
1332009
Improving Evolutionary Testing By Flag Removal.
M Harman, L Hu, RM Hierons, A Baresel, H Sthamer
GECCO, 1359-1366, 2002
1292002
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
1192018
Optimizing the length of checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 55 (5), 618-629, 2006
1022006
Do moods affect programmers’ debug performance?
IA Khan, WP Brinkman, RM Hierons
Cognition, Technology & Work 13 (4), 245-258, 2011
992011
Reduced length checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 51 (9), 1111-1117, 2002
972002
Testing from a nondeterministic finite state machine using adaptive state counting
RM Hierons
IEEE Transactions on Computers 53 (10), 1330-1342, 2004
962004
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
932006
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
902011
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
802016
Evolving transformation sequences using genetic algorithms
D Fatiregun, M Harman, RM Hierons
Source Code Analysis and Manipulation, Fourth IEEE International Workshop on …, 2004
802004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20