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
7632007
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
4072009
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
3802003
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
2702004
An overview of program slicing
M Harman, R Hierons
software focus 2 (3), 85-92, 2001
1992001
A multiple hill climbing approach to software module clustering
K Mahdavi, M Harman, RM Hierons
International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003
1782003
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
M Harman, RM Hierons, M Proctor
GECCO 2, 1351-1358, 2002
1772002
Testing from a Z specification
RM Hierons
Software Testing, Verification and Reliability 7 (1), 19-33, 1997
1711997
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
1692004
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
1252009
Improving Evolutionary Testing By Flag Removal.
M Harman, L Hu, RM Hierons, A Baresel, H Sthamer
GECCO, 1359-1366, 2002
1182002
Optimizing the length of checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 55 (5), 618-629, 2006
992006
Reduced length checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 51 (9), 1111-1117, 2002
942002
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
912006
Testing from a nondeterministic finite state machine using adaptive state counting
RM Hierons
IEEE Transactions on Computers 53 (10), 1330-1342, 2004
912004
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
882018
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
882011
Do moods affect programmers’ debug performance?
IA Khan, WP Brinkman, RM Hierons
Cognition, Technology & Work 13 (4), 245-258, 2011
822011
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
742010
Evolving transformation sequences using genetic algorithms
D Fatiregun, M Harman, RM Hierons
Source Code Analysis and Manipulation, Fourth IEEE International Workshop on …, 2004
742004
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20