关注
Robert Hierons
Robert Hierons
在 sheffield.ac.uk 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Search algorithms for regression test case prioritization
Z Li, M Harman, RM Hierons
IEEE Transactions on software engineering 33 (4), 225-237, 2007
10012007
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
5182009
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
4312003
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
3352004
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
3072018
An overview of program slicing
M Harman, R Hierons
software focus 2 (3), 85-92, 2001
2402001
A multiple hill climbing approach to software module clustering
K Mahdavi, M Harman, RM Hierons
International Conference on Software Maintenance, 2003. ICSM 2003 …, 2003
2122003
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–GECCO 2004: Genetic and Evolutionary …, 2004
2052004
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
M Harman, RM Hierons, M Proctor
GECCO 2, 1351-1358, 2002
1972002
Testing from a Z specification
RM Hierons
Software Testing, Verification and Reliability 7 (1), 19-33, 1997
1871997
Do moods affect programmers’ debug performance?
IA Khan, WP Brinkman, RM Hierons
Cognition, Technology & Work 13, 245-258, 2011
1542011
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
1372009
Improving Evolutionary Testing By Flag Removal.
M Harman, L Hu, RM Hierons, A Baresel, H Sthamer
GECCO, 1359-1366, 2002
1362002
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
1222016
Optimizing the length of checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 55 (5), 618-629, 2006
1162006
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
1142011
Testing from a nondeterministic finite state machine using adaptive state counting
RM Hierons
IEEE Transactions on Computers 53 (10), 1330-1342, 2004
1142004
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
1062006
Reduced length checking sequences
RM Hierons, H Ural
IEEE Transactions on Computers 51 (9), 1111-1117, 2002
1062002
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
972011
系统目前无法执行此操作,请稍后再试。
文章 1–20