R
Robert M. Hierons
Researcher at University of Sheffield
Publications - 305
Citations - 8104
Robert M. Hierons is an academic researcher from University of Sheffield. The author has contributed to research in topics: Finite-state machine & System under test. The author has an hindex of 40, co-authored 295 publications receiving 7641 citations. Previous affiliations of Robert M. Hierons include Brunel University London & University of London.
Papers
More filters
Journal ArticleDOI
Search Algorithms for Regression Test Case Prioritization
TL;DR: The paper addresses the problems of choice of fitness metric, characterization of landscape modality, and determination of the most suitable search technique to apply, and sheds light on the nature of the regression testing search space, indicating that it is multimodal.
Journal ArticleDOI
Using formal specifications to support testing
Robert M. Hierons,Kirill Bogdanov,Jonathan P. Bowen,Rance Cleaveland,John Derrick,Jeremy Dick,Marian Gheorghe,Mark Harman,Kalpesh Kapoor,Paul Krause,Gerald Lüttgen,Anthony J. H. Simons,Sergiy Vilkomir,Martin R. Woodward,Hussein Zedan +14 more
TL;DR: The state of the art regarding ways in which the presence of a formal specification can be used to assist testing is reviewed.
Journal ArticleDOI
Reformulating software engineering as a search problem
Joseph Andrew Clarke,José Javier Dolado,Mark Harman,Robert M. Hierons,Bryan F. Jones,M. Lumkin,Brian S. Mitchell,Spiros Mancoridis,K. Rees,Marc Roper,Martin Shepperd +10 more
TL;DR: Metaheuristic techniques such as genetic algorithms, simulated annealing and tabu search have found wide application in most areas of engineering as discussed by the authors, however, they have not been more widely applied to software engineering.
Journal ArticleDOI
Testability transformation
Mark Harman,Lin Hu,Robert M. Hierons,Joachim Wegener,Harmen Sthamer,André Baresel,Marc Roper +6 more
TL;DR: An algorithm for flag removal is defined and results are presented from an empirical study which show how the algorithm improves both the performance of evolutionary test data generation and the adequacy level of the test data so-generated.
Journal ArticleDOI
Using Program Slicing to Assist in the Detection of Equivalent Mutants
TL;DR: Program slicing is used to simplify the human analysis required in detecting equivalent mutants and to reduce the number of equivalent mutants produced.