Using formal specifications to enhance the software testing process. - Robert M. Hierons (1992)

Extending Test Sequence Overlap by Invertibility. - Robert M. Hierons (Comput. J., 1996)

Testing from a Finite-State Machine: Extending Invertibility to Sequences. - Robert M. Hierons (Comput. J., 1997)

testing from semi-independent communicating finite state machines with a slow environment. - Robert M. Hierons (IEE Proc. Softw. Eng., 1997)

Testing from a Z Specification. - Robert M. Hierons (Softw. Test. Verification Reliab., 1997)

Estimation of Failure Rate using Random and Partition Testing. - Robert M. Hierons; Michael P. Wiper (Softw. Test. Verification Reliab., 1997)

Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. - Robert M. Hierons (Comput. J., 1998)

The Zero-Free Intervals for Characteristic Polynomials of Matroids. - Hugh Edwards; Robert M. Hierons; Bill Jackson (Comb. Probab. Comput., 1998)

Program Simplification as a Means of Approximating Undecidable Propositions. - Mark Harman; Chris Fox; Robert M. Hierons; David W. Binkley; Sebastian Danicic (IWPC, 1999)

Minimizing the Cost of Fault Location when Testing from a Finite State Machine. - Robert M. Hierons (Comput. Commun., 1999)

Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.). - Robert M. Hierons (Comput. Commun., 1999)

Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). - Robert M. Hierons (Softw. Test. Verification Reliab., 1999)

Editorial: What does testing tell us? - Robert M. Hierons (Softw. Test. Verification Reliab., 1999)

Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). - Robert M. Hierons (Softw. Test. Verification Reliab., 1999)

Using Program Slicing to Assist in the Detection of Equivalent Mutants. - Robert M. Hierons; Mark Harman; Sebastian Danicic (Softw. Test. Verification Reliab., 1999)

ConSIT: A Conditioned Program Slicer. - Chris Fox; Mark Harman; Robert M. Hierons; Sebastian Danicic (ICSM, 2000)

Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. - Robert M. Hierons; Mark Harman (Formal Aspects Comput., 2000)

Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review). - Robert M. Hierons (Softw. Test. Verification Reliab., 2000)

Editorial: special issue on specification-based testing. - Robert M. Hierons; John Derrick (Softw. Test. Verification Reliab., 2000)

Pre/Post Conditioned Slicing. - Mark Harman; Robert M. Hierons; Chris Fox; Sebastian Danicic; John Howroyd (ICSM, 2001)

Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. - Chris Fox; Sebastian Danicic; Mark Harman; Robert M. Hierons (IWPC, 2001)

Node Coarsening Calculi for Program Slicing. - Mark Harman; Robert M. Hierons; Sebastian Danicic; John Howroyd; Michael R. Laurence; Chris Fox (WCRE, 2001)

Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. - Robert M. Hierons (Inf. Softw. Technol., 2001)

Testing a system specified using Statecharts and Z. - Robert M. Hierons; Sadegh Sadeghipour; Harbhajan Singh (Inf. Softw. Technol., 2001)

Checking states and transitions of a set of communicating finite state machines. - Robert M. Hierons (Microprocess. Microsystems, 2001)

An overview of program slicing. - Mark Harman; Robert M. Hierons (Softw. Focus, 2001)

Real-Time Systems and Software. - Robert M. Hierons (Softw. Focus, 2001)

Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885. - Robert M. Hierons (Softw. Test. Verification Reliab., 2001)

FORTEST: Formal Methods and Testing. - Jonathan P. Bowen; Kirill Bogdanov 002; John A. Clark; Mark Harman; Robert M. Hierons; Paul J. Krause (COMPSAC, 2002)

Expanding an Extended Finite State Machine to aid Testability. - Robert M. Hierons; T.-H. Kim; Hasan Ural (COMPSAC, 2002)

Improving Evolutionary Testing By Flag Removal. - Mark Harman; Lin Hu 005; Robert M. Hierons; André Baresel; Harmen Sthamer (GECCO, 2002)

A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. - Mark Harman; Robert M. Hierons; Mark Proctor (GECCO, 2002)

Evolutionary Testing Supported by Slicing and Transformation. - Mark Harman; Lin Hu 005; Robert M. Hierons; Chris Fox; Sebastian Danicic; Joachim Wegener; Harmen Sthamer; André Baresel (ICSM, 2002)

A Post-Placement Side-Effect Removal Algorithm. - Mark Harman; Lin Hu 005; Robert M. Hierons; Malcolm Munro; Xingyuan Zhang; José Javier Dolado; Mari Carmen Otero; Joachim Wegener (ICSM, 2002)

VADA: A Transformation-Based System for Variable Dependence Analysis. - Mark Harman; Chris Fox; Robert M. Hierons; Lin Hu 005; Sebastian Danicic; Joachim Wegener (SCAM, 2002)

Code Extraction Algorithms which Unify Slicing and Concept Assignment. - Mark Harman; Nicolas Gold; Robert M. Hierons; David W. Binkley (WCRE, 2002)

Editorial: Formal methods and testing. - Robert M. Hierons (Softw. Test. Verification Reliab., 2002)

Conditioned slicing supports partition testing. - Robert M. Hierons; Mark Harman; Chris Fox; Lahcen Ouarbya; Mohammed Daoudi (Softw. Test. Verification Reliab., 2002)

Reduced Length Checking Sequences. - Robert M. Hierons; Hasan Ural (IEEE Trans. Computers, 2002)

Comparing test sets and criteria in the presence of test hypotheses and fault domains. - Robert M. Hierons (ACM Trans. Softw. Eng. Methodol., 2002)

Unions of Slices Are Not Slices. - Andrea De Lucia; Mark Harman; Robert M. Hierons; Jens Krinke (CSMR, 2003)

Computing Unique Input/Output Sequences Using Genetic Algorithms. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (FATES, 2003)

Concerning the Ordering of Adaptive Test Sequences. - Robert M. Hierons; Hasan Ural (FORTE, 2003)

Search Based Transformations. - Deji Fatiregun; Mark Harman; Robert M. Hierons (GECCO, 2003)

Finding Building Blocks for Software Clustering. - Kiarash Mahdavi; Mark Harman; Robert M. Hierons (GECCO, 2003)

A Multiple Hill Climbing Approach to Software Module Clustering. - Kiarash Mahdavi; Mark Harman; Robert M. Hierons (ICSM, 2003)

Automatically Generating Information from a Z Specification to Support the Classification Tree Method. - Robert M. Hierons; Mark Harman; Harbhajan Singh (ZB, 2003)

Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine. - Robert M. Hierons (Comput. J., 2003)

Formulating software engineering as a search problem. - John A. Clark; José Javier Dolado; Mark Harman; Robert M. Hierons; Bryan F. Jones; M. Lumkin; Brian S. Mitchell; Spiros Mancoridis; K. Rees; Marc Roper; Martin J. Shepperd (IEE Proc. Softw., 2003)

UIO sequence based checking sequences for distributed test architectures. - Robert M. Hierons; Hasan Ural (Inf. Softw. Technol., 2003)

Editorial: Testing in the large through the small? - Robert M. Hierons (Softw. Test. Verification Reliab., 2003)

Equivalence of conservative, free, linear program schemas is decidable. - Michael R. Laurence; Sebastian Danicic; Mark Harman; Robert M. Hierons; John Howroyd (Theor. Comput. Sci., 2003)

Conditions for Resolving Observability Problems in Distributed Testing. - Jessica Chen; Robert M. Hierons; Hasan Ural (FORTE, 2004)

How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. - Konstantinos Adamopoulos; Mark Harman; Robert M. Hierons (GECCO (2), 2004)

Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (GECCO (2), 2004)

Evolving Transformation Sequences using Genetic Algorithms. - Deji Fatiregun; Mark Harman; Robert M. Hierons (SCAM, 2004)

Amorphous Procedure Extraction. - Mark Harman; David W. Binkley; Ranjit Singh; Robert M. Hierons (SCAM, 2004)

Loop Squashing Transformations for Amorphous Slicing. - Lin Hu 005; Mark Harman; Robert M. Hierons; David W. Binkley (WCRE, 2004)

On the testability of SDL specifications. - Robert M. Hierons; T.-H. Kim; Hasan Ural (Comput. Networks, 2004)

Using a minimal number of resets when testing from a finite state machine. - Robert M. Hierons (Inf. Process. Lett., 2004)

A flexible environment to evaluate state-based test techniques. - Robert M. Hierons (ACM SIGSOFT Softw. Eng. Notes, 2004)

ConSIT: a fully automated conditioned program slicer. - Chris Fox; Sebastian Danicic; Mark Harman; Robert M. Hierons (Softw. Pract. Exp., 2004)

Editorial: Software testing in the United Kingdom. - John A. Clark; Mark Harman; Robert M. Hierons (Softw. Test. Verification Reliab., 2004)

Book Reviews. - Robert M. Hierons (Softw. Test. Verification Reliab., 2004)

Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting. - Robert M. Hierons (IEEE Trans. Computers, 2004)

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. - Robert M. Hierons; Mark Harman (Theor. Comput. Sci., 2004)

Testability Transformation. - Mark Harman; Lin Hu 005; Robert M. Hierons; Joachim Wegener; Harmen Sthamer; André Baresel; Marc Roper (IEEE Trans. Software Eng., 2004)

Resolving Observability Problems in Distributed Test Architectures. - Jessica Chen; Robert M. Hierons; Hasan Ural (FORTE, 2005)

Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (GECCO, 2005)

Eliminating Redundant Tests in a Checking Sequence. - Jessica Chen; Robert M. Hierons; Hasan Ural; Hüsnü Yenigün (TestCom, 2005)

Search-Based Amorphous Slicing. - Deji Fatiregun; Mark Harman; Robert M. Hierons (WCRE, 2005)

Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. - Sebastian Danicic; Chris Fox; Mark Harman; Robert M. Hierons; John Howroyd; Michael R. Laurence (Comput. J., 2005)

Branch-Coverage Testability Transformation for Unstructured Programs. - Robert M. Hierons; Mark Harman; Chris Fox (Comput. J., 2005)

Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (IEE Proc. Softw., 2005)

ConSUS: a light-weight program conditioner. - Sebastian Danicic; Mohammed Daoudi; Chris Fox; Mark Harman; Robert M. Hierons; John Howroyd; Lahcen Ouarbya; Martin P. Ward (J. Syst. Softw., 2005)

Unifying program slicing and concept assignment for higher-level executable source code extraction. - Nicolas E. Gold; Mark Harman; David W. Binkley; Robert M. Hierons (Softw. Pract. Exp., 2005)

Artificial Intelligence Methods In Software Testing. Edited by Mark Last, Abraham Kandel and Horst Bunke. Published by World Scientific Publishing, Singapore, Series in Machine Perception and Artificial Intelligence, Volume 56, 2004, ISBN 981-238-854-0. - Robert M. Hierons (Softw. Test. Verification Reliab., 2005)

Editorial: Validating our findings. - Robert M. Hierons (Softw. Test. Verification Reliab., 2005)

Programmer's mood and their performance. - Iftikhar Ahmed Khan; Robert M. Hierons; Willem-Paul Brinkman (ECCE, 2006)

The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph. - Steve Counsell; Robert M. Hierons; Rajaa Najjar; George Loizou; Youssef Hassoun (TAIC PART, 2006)

Separating sequence overlap for automated test sequence generation. - Robert M. Hierons (Autom. Softw. Eng., 2006)

Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (Comput. J., 2006)

Guest Editorial. - John Derrick; Mark Harman; Robert M. Hierons (Formal Aspects Comput., 2006)

Improving test quality using robust unique input/output circuit sequences (UIOCs). - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (Inf. Softw. Technol., 2006)

Overcoming observability problems in distributed test architectures. - Jessica Chen; Robert M. Hierons; Hasan Ural (Inf. Process. Lett., 2006)

Applying adaptive test cases to nondeterministic implementations. - Robert M. Hierons (Inf. Process. Lett., 2006)

Achieving communication coverage in testing. - Christopher Robinson-Mallett; Robert M. Hierons; Peter Liggesmeyer (ACM SIGSOFT Softw. Eng. Notes, 2006)

Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410. - Robert M. Hierons (Softw. Test. Verification Reliab., 2006)

Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006, ISBN: 3-89864-363-8, pp 266. - Robert M. Hierons (Softw. Test. Verification Reliab., 2006)

Editorial: Addressing industrial challenges - UKTest 2005 and beyond. - Phil McMinn; Robert M. Hierons (Softw. Test. Verification Reliab., 2006)

A Tribute to Martin Woodward. - Lee White; Jeff Offutt; Derek Yates; Robert M. Hierons; Michael A. Hennell; Peter Mitchell (Softw. Test. Verification Reliab., 2006)

Optimizing the Length of Checking Sequences. - Robert M. Hierons; Hasan Ural (IEEE Trans. Computers, 2006)

Avoiding coincidental correctness in boundary value analysis. - Robert M. Hierons (ACM Trans. Softw. Eng. Methodol., 2006)

A Meta-analysis Approach to Refactoring and XP. - Steve Counsell; Robert M. Hierons; George Loizou (AICCSA, 2007)

A Test Taxonomy Applied to the Mechanics of Java Refactorings. - Steve Counsell; Stephen Swift; Robert M. Hierons (SCSS (1), 2007)

Mood independent programming. - Iftikhar Ahmed Khan; Robert M. Hierons; Willem-Paul Brinkman (ECCE, 2007)

Thread-Based Analysis of Sequence Diagrams. - Haitao Dan; Robert M. Hierons; Steve Counsell (FORTE, 2007)

Moods and Programmers' Performance. - Iftikhar Ahmed Khan; Robert M. Hierons; Willem-Paul Brinkman (PPIG, 2007)

A Thread-tag Based Semantics for Sequence Diagrams. - Haitao Dan; Robert M. Hierons; Steve Counsell (SEFM, 2007)

Refactoring test suites versus test behaviour: a TTCN-3 perspective. - Steve Counsell; Robert M. Hierons (SOQUA, 2007)

Reducing the cost of applying adaptive test cases. - Robert M. Hierons; Hasan Ural (Comput. Networks, 2007)

Package Evolvability and its Relationship with Refactoring. - Asma Mubarak; Steve Counsell; Robert M. Hierons; Youssef Hassoun (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Heuristics for fault diagnosis when testing from finite state machines. - Qiang Guo 001; Robert M. Hierons; Mark Harman; Karnig Derderian (Softw. Test. Verification Reliab., 2007)

Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. - Sebastian Danicic; Mark Harman; Robert M. Hierons; John Howroyd; Michael R. Laurence (Theor. Comput. Sci., 2007)

Search Algorithms for Regression Test Case Prioritization. - Zheng Li 002; Mark Harman; Robert M. Hierons (IEEE Trans. Software Eng., 2007)

High Capacity Steganographic Method Based Upon JPEG. - Adel Almohammad; Robert M. Hierons; Gheorghita Ghinea (ARES, 2008)

Controllable Test Cases for the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (ATVA, 2008)

An Empirical Study of "Removed" Classes in Java Open-Source Systems. - Asma Mubarak; Steve Counsell; Robert M. Hierons (SCSS (2), 2008)

Measuring personality from keyboard and mouse use. - Iftikhar Ahmed Khan; Willem-Paul Brinkman; Nick Fine; Robert M. Hierons (ECCE, 2008)

Testing in the Distributed Test Architecture. - Jessica Chen; Robert M. Hierons; Hasan Ural (Formal Methods and Testing, 2008)

Testability Transformation - Program Transformation to Improve Testability. - Mark Harman; André Baresel; David W. Binkley; Robert M. Hierons; Lin Hu 005; Bogdan Korel; Phil McMinn; Marc Roper (Formal Methods and Testing, 2008)

The precursor to an industrial software metrics program. - S. T. Parkinson; Steve Counsell; M. Norman; Robert M. Hierons; Mark Lycett (ITI, 2008)

Towards a Computer Interaction-Based Mood Measure Instrument. - Iftikhar Ahmed Khan; Willem-Paul Brinkman; Robert M. Hierons (PPIG, 2008)

Implementation Relations for the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (TestCom/FATES, 2008)

Testing in the Distributed Test Architecture: An Extended Abstract. - Robert M. Hierons (QSIC, 2008)

Using adaptive distinguishing sequences in checking sequence constructions. - Robert M. Hierons; Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SAC, 2008)

Extending Stream X-Machines to Specify and Test Systems with Timeouts. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (SEFM, 2008)

The Effect of the Distributed Test Architecture on the Power of Testing. - Robert M. Hierons; Hasan Ural (Comput. J., 2008)

Checking sequences for distributed test architectures. - Robert M. Hierons; Hasan Ural (Distributed Comput., 2008)

Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. - Robert M. Hierons; Florentin Ipate (Formal Aspects Comput., 2008)

Using communication coverage criteria and partial model generation to assist software integration testing. - Christopher Robinson-Mallett; Robert M. Hierons; Jesse H. Poore; Peter Liggesmeyer (Softw. Qual. J., 2008)

JPEG Steganography: A Performance Evaluation of Quantization Tables. - Adel Almohammad; Gheorghita Ghinea; Robert M. Hierons (AINA, 2009)

Does an 80: 20 rule apply to Java coupling? - Asma Mubarak; Steve Counsell; Robert M. Hierons (EASE, 2009)

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (ICST, 2009)

Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. - Karnig Derderian; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (IWANN (1), 2009)

Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. - Robert M. Hierons; Guy-Vincent Jourdan; Hasan Ural; Hüsnü Yenigün (SEFM, 2009)

Simulation Relations for Systems with Distributed Interfaces. - Robert M. Hierons; Manuel Núñez 001 (SEFM, 2009)

Overcoming controllability problems with fewest channels between testers. - Robert M. Hierons; Hasan Ural (Comput. Networks, 2009)

Using formal specifications to support testing. - Robert M. Hierons; Kirill Bogdanov 002; Jonathan P. Bowen; Rance Cleaveland; John Derrick; Jeremy Dick; Marian Gheorghe 001; Mark Harman; Kalpesh Kapoor; Paul J. Krause; Gerald Lüttgen; Anthony J. H. Simons; et al. (ACM Comput. Surv., 2009)

Using status messages in the distributed test architecture. - Robert M. Hierons (Inf. Softw. Technol., 2009)

Testing from a stochastic timed system with a fault model. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2009)

Mutation testing from probabilistic and stochastic finite state machines. - Robert M. Hierons; Mercedes G. Merayo (J. Syst. Softw., 2009)

Verdict functions in testing with a fault domain or test hypotheses. - Robert M. Hierons (ACM Trans. Softw. Eng. Methodol., 2009)

Model-Based Testing for the Cloud. - Antonia Bertolino; Wolfgang Grieskamp; Robert M. Hierons; Yves Le Traon; Bruno Legeard; Henry Muccini; Amit M. Paradkar; David S. Rosenblum; Jan Tretmans (Practical Software Testing: Tool Automation and Human Factors, 2010)

10421 Abstracts Collection - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

10421 Summary - Model-Based Testing in Practice. - Wolfgang Grieskamp; Robert M. Hierons; Alexander Pretschner (Model-Based Testing in Practice, 2010)

Testing Probabilistic Distributed Systems. - Robert M. Hierons; Manuel Núñez 001 (FMOODS/FORTE, 2010)

Is a strategy for code smell assessment long overdue? - Steve Counsell; Robert M. Hierons; Hamza Hamza; Sue Black 001; M. Durrand (WETSoM, 2010)

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (ICST Workshops, 2010)

Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (ICST, 2010)

An Evolutionary Study of Fan-in and Fan-out Metrics in OSS. - Asma Mubarak; Steve Counsell; Robert M. Hierons (RCIS, 2010)

Non-local Choice and Implied Scenarios. - Haitao Dan; Robert M. Hierons; Steve Counsell (SEFM, 2010)

A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. - Mohammad Saeed Abou Trab; Bachar Alrouh; Steve Counsell; Robert M. Hierons; George Ghinea (TAIC PART, 2010)

Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective. - Steve Counsell; Robert M. Hierons; Hamza Hamza; Sue Black 001; M. Durrand (Adv. Softw. Eng., 2010)

Estimating the feasibility of transition paths in extended finite state machines. - Karnig Derderian; Robert M. Hierons; Mark Harman; Qiang Guo 001 (Autom. Softw. Eng., 2010)

Generating a checking sequence with a minimum number of reset transitions. - Robert M. Hierons; Hasan Ural (Autom. Softw. Eng., 2010)

Practitioner-based measurement: a collaborative approach. - S. T. Parkinson; Robert M. Hierons; Mark Lycett; M. Norman (Commun. ACM, 2010)

An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria. - Steve Counsell; Hamza Hamza; Robert M. Hierons (J. Comput. Inf. Technol., 2010)

Reaching and Distinguishing States of Distributed Systems. - Robert M. Hierons (SIAM J. Comput., 2010)

A trajectory-based strict semantics for program slicing. - Richard W. Barraclough; David W. Binkley; Sebastian Danicic; Mark Harman; Robert M. Hierons; Ákos Kiss 001; Mike Laurence; Lahcen Ouarbya (Theor. Comput. Sci., 2010)

Canonical finite state machines for distributed systems. - Robert M. Hierons (Theor. Comput. Sci., 2010)

Checking experiments for stream X-machines. - Robert M. Hierons (Theor. Comput. Sci., 2010)

Mutation Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Encyclopedia of Software Engineering, 2010)

GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. - Mohammad Saeed Abou Trab; Steve Counsell; Robert M. Hierons (ECBS, 2011)

Conformance Testing from Message Sequence Charts. - Haitao Dan; Robert M. Hierons (ICST, 2011)

Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (ALIFE, 2011)

A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. - Karnig Derderian; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (IWANN (2), 2011)

Experimental Comparison of Different Techniques to Generate Adaptive Sequences. - Carlos Molinero; Manuel Núñez 001; Robert M. Hierons (IWANN (2), 2011)

Conformance Relations for Distributed Testing Based on CSP. - Ana Cavalcanti 001; Marie-Claude Gaudel; Robert M. Hierons (ICTSS, 2011)

Checking Finite State Machine Conformance when there are Distributed Observations - Robert M. Hierons (CoRR, 2011)

Do moods affect programmers' debug performance? - Iftikhar Ahmed Khan; Willem-Paul Brinkman; Robert M. Hierons (Cogn. Technol. Work., 2011)

A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems. - Asma Mubarak; Steve Counsell; Robert M. Hierons (Int. J. Inf. Syst. Model. Des., 2011)

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. - Abdul Salam Kalaji; Robert M. Hierons; Stephen Swift (Inf. Softw. Technol., 2011)

Automated metamorphic testing on the analyses of feature models. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2011)

Mutation testing on an object-oriented framework: An experience report. - Sergio Segura; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Inf. Softw. Technol., 2011)

Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (J. Log. Algebraic Methods Program., 2011)

Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (J. Log. Algebraic Methods Program., 2011)

On the computational complexity of dynamic slicing problems for program schemas. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (Math. Struct. Comput. Sci., 2011)

Testing timed systems modeled by Stream X-machines. - Mercedes G. Merayo; Manuel Núñez 001; Robert M. Hierons (Softw. Syst. Model., 2011)

Scenarios-based testing of systems with distributed ports. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Softw. Pract. Exp., 2011)

ICST 2008 Special Issue. - Robert M. Hierons; Aditya Mathur (Softw. Test. Verification Reliab., 2011)

Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. - Robert M. Hierons (IEEE Trans. Computers, 2011)

Model Based Test Automation through Asynchronous Channels. - Robert M. Hierons (COMPSAC Workshops, 2012)

Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. - Mohammad Saeed Abou Trab; Steve Counsell; Robert M. Hierons (COMPSAC, 2012)

Using Time to Add Order to Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (FM, 2012)

Semantic Mutation Analysis of Floating-Point Comparison. - Haitao Dan; Robert M. Hierons (ICST, 2012)

SMT-C: A Semantic Mutation Testing Tools for C. - Haitao Dan; Robert M. Hierons (ICST, 2012)

Controllability Problems in MSC-Based Testing. - Haitao Dan; Robert M. Hierons (Comput. J., 2012)

Overcoming controllability problems in distributed testing from an input output transition system. - Robert M. Hierons (Distributed Comput., 2012)

Implementation relations and test generation for systems with distributed interfaces. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Distributed Comput., 2012)

Using schedulers to test probabilistic distributed systems. - Robert M. Hierons; Manuel Núñez 001 (Formal Aspects Comput., 2012)

A framework for pathologies of message sequence charts. - Haitao Dan; Robert M. Hierons; Steve Counsell (Inf. Softw. Technol., 2012)

Squeeziness: An information theoretic measure for avoiding fault masking. - David Clark 001; Robert M. Hierons (Inf. Process. Lett., 2012)

The complexity of asynchronous model based testing. - Robert M. Hierons (Theor. Comput. Sci., 2012)

Complexity of Data Dependence Problems for Program Schemas with Concurrency. - Sebastian Danicic; Robert M. Hierons; Michael R. Laurence (ACM Trans. Comput. Log., 2012)

Oracles for Distributed Testing. - Robert M. Hierons (IEEE Trans. Software Eng., 2012)

Testing with Inputs and Outputs in CSP. - Ana Cavalcanti 001; Robert M. Hierons (FASE, 2013)

Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. - Lan Lin; Jesse H. Poore; Robert Eschbach; Robert M. Hierons; Christopher Robinson-Mallett (FASE, 2013)

Passive Testing with Asynchronous Communications. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (FMOODS/FORTE, 2013)

Conditional-Based Refactorings and Fault-Proneness: An Empirical Study. - Steve Counsell; Matt Gatrell; Robert M. Hierons; Alessandro Murgia; Roberto Tonelli; Michele Marchesi; Giulio Concas (ICST Workshops, 2013)

An Implementation Relation and Test Framework for Timed Distributed Systems. - Christophe Gaston; Robert M. Hierons; Pascale Le Gall (ICTSS, 2013)

Implementation Relations for Testing Through Asynchronous Channels. - Robert M. Hierons (Comput. J., 2013)

Towards estimating computer users' mood from interaction behaviour with keyboard and mouse. - Iftikhar Ahmed Khan; Willem-Paul Brinkman; Robert M. Hierons (Frontiers Comput. Sci., 2013)

Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). - Robert M. Hierons; Mercedes G. Merayo (Inf. Softw. Technol., 2013)

Testing Real-Time Embedded Systems using Timed Automata based approaches. - Mohammad Saeed Abou Trab; Michael J. Brockway; Steve Counsell; Robert M. Hierons (J. Syst. Softw., 2013)

Semantic mutation testing. - John A. Clark; Haitao Dan; Robert M. Hierons (Sci. Comput. Program., 2013)

Using genetic algorithms to generate test sequences for complex timed systems. - Alberto Nuñez; Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Soft Comput., 2013)

Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces. - Robert M. Hierons (IEEE Trans. Computers, 2013)

Amorphous Slicing of Extended Finite State Machines. - Kelly Androutsopoulos; David Clark 001; Mark Harman; Robert M. Hierons; Zheng Li 002; Laurence Tratt (IEEE Trans. Software Eng., 2013)

An analysis of the relationship between conditional entropy and failed error propagation in software testing. - Kelly Androutsopoulos; David Clark 001; Haitao Dan; Robert M. Hierons; Mark Harman (ICSE, 2014)

Distinguishing Sequences for Partially Specified FSMs. - Robert M. Hierons; Uraz Cengiz Türker (NASA Formal Methods, 2014)

The Oracle Problem When Testing from MSCs. - Haitao Dan; Robert M. Hierons (Comput. J., 2014)

Timed implementation relations for the distributed test architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Distributed Comput., 2014)

Automated generation of computationally hard feature models using evolutionary algorithms. - Sergio Segura; José Antonio Parejo; Robert M. Hierons; David Benavides 001; Antonio Ruiz Cortés (Expert Syst. Appl., 2014)

Combining Centralised and Distributed Testing. - Robert M. Hierons (ACM Trans. Softw. Eng. Methodol., 2014)

Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective. - Matt Gatrell; Steve Counsell; Steve Swift; Robert M. Hierons; Xiaohui Liu 001 (EUROMICRO-SEAA, 2015)

Generating Minimum Height ADSs for Partially Specified Finite State Machines. - Robert M. Hierons; Uraz Cengiz Türker (ISCIS, 2015)

A methodology for validating cloud models using metamorphic testing. - Alberto Nuñez; Robert M. Hierons (Ann. des Télécommunications, 2015)

Incomplete Distinguishing Sequences for Finite State Machines. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2015)

A Test Framework for Communications-Critical Large-Scale Systems. - Mohammad A. Nabulsi; Robert M. Hierons (IEEE Softw., 2015)

Special issue on testing, analysis and debugging of concurrent programs. - Eitan Farchi; Robert M. Hierons; João Lourenço (Softw. Test. Verification Reliab., 2015)

Generating Complete Controllable Test Suites for Distributed Testing. - Robert M. Hierons (IEEE Trans. Software Eng., 2015)

Decidability and Complexity for Quiescent Consistency. - Brijesh Dongol; Robert M. Hierons (LICS, 2016)

Controllability Through Nondeterminism in Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (ICTSS, 2016)

Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. - Krishna Patel; Robert M. Hierons (ICTSS, 2016)

A Suspension-Trace Semantics for CSP. - Ana Cavalcanti 001; Robert M. Hierons; Sidney C. Nogueira; Augusto Sampaio 001 (TASE, 2016)

A More Precise Implementation Relation for Distributed Testing. - Robert M. Hierons (Comput. J., 2016)

Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2016)

Multi-objective optimisation for regression testing. - Wei Zheng 006; Robert M. Hierons; Miqing Li; Xiaohui Liu 001; Veronica Vinciotti (Inf. Sci., 2016)

The dreaded desk reject. - Robert M. Hierons (Softw. Test. Verification Reliab., 2016)

Editorial. - Robert M. Hierons (Softw. Test. Verification Reliab., 2016)

Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. - Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Computers, 2016)

SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. - Robert M. Hierons; Miqing Li; Xiaohui Liu 001; Sergio Segura; Wei Zheng 006 (ACM Trans. Softw. Eng. Methodol., 2016)

Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. - Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Software Eng., 2016)

Constraint-Based Oracles for Timed Distributed Systems. - Nassim Benharrat; Christophe Gaston; Robert M. Hierons; Arnault Lapitre; Pascale Le Gall (ICTSS, 2017)

Integrating Graphical and Natural Language Specifications to Support Analysis and Testing. - Christopher L. Robinson-Mallett; Robert M. Hierons (RE Workshops, 2017)

Hardness of Deriving Invertible Sequences from Finite State Machines. - Robert M. Hierons; Mohammad Reza Mousavi 001; Michael Kirkedal Thomsen; Uraz Cengiz Türker (SOFSEM, 2017)

Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. - Robert M. Hierons; Uraz Cengiz Türker (Comput. J., 2017)

Decidability and complexity for quiescent consistency and its variations. - Brijesh Dongol; Robert M. Hierons (Inf. Comput., 2017)

An extended framework for passive asynchronous testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2017)

Implementation relations and probabilistic schedulers in the distributed test architecture. - Robert M. Hierons; Manuel Núñez 001 (J. Syst. Softw., 2017)

Introduction to the Software Engineering and Formal Methods 2013 special issue. - Mario Bravetti; Robert M. Hierons; Mercedes G. Merayo (Softw. Syst. Model., 2017)

How to manage a conference special issue. - Robert M. Hierons (Softw. Test. Verification Reliab., 2017)

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. - Robert M. Hierons; Uraz Cengiz Türker (ACM Trans. Softw. Eng. Methodol., 2017)

Testing from Partial Finite State Machines without Harmonised Traces. - Robert M. Hierons (IEEE Trans. Software Eng., 2017)

Smart contracts vulnerabilities: a call for blockchain software engineering? - Giuseppe Destefanis; Michele Marchesi; Marco Ortu; Roberto Tonelli; Andrea Bracciali; Robert M. Hierons (IWBOSE@SANER, 2018)

Passive testing with asynchronous communications and timestamps. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Distributed Comput., 2018)

Special section of Tests and Proofs 2016. - Bernhard K. Aichernig; Carlo A. Furia; Marie-Claude Gaudel; Robert M. Hierons (Formal Aspects Comput., 2018)

A tool supported methodology to passively test asynchronous systems with multiple users. - Mercedes G. Merayo; Robert M. Hierons; Manuel Núñez 001 (Inf. Softw. Technol., 2018)

A mapping study on testing non-testable systems. - Krishna Patel; Robert M. Hierons (Softw. Qual. J., 2018)

Bounded Reordering in the Distributed Test Architecture. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (IEEE Trans. Reliab., 2018)

A Mechanised Proof of an Adaptive State Counting Algorithm. - Robert Sachtleben; Robert M. Hierons; Wen-ling Huang; Jan Peleska 001 (ICTSS, 2019)

Local Observability and Controllability Enforcement in Distributed Testing. - Bruno Lima; João Pascoal Faria; Robert M. Hierons (QUATIC, 2019)

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (SEFM, 2019)

Testing Robots Using CSP. - Ana Cavalcanti 001; James Baxter 001; Robert M. Hierons; Raluca Lefticaru (TAP@FM, 2019)

Using Squeeziness to test component-based systems defined as Finite State Machines. - Alfredo Ibias; Robert M. Hierons; Manuel Núñez 001 (Inf. Softw. Technol., 2019)

Normalised Squeeziness and Failed Error Propagation. - David Clark 001; Robert M. Hierons; Krishna Patel (Inf. Process. Lett., 2019)

FSM quasi-equivalence testing via reduction and observing absences. - Robert M. Hierons (Sci. Comput. Program., 2019)

A partial oracle for uniformity statistics. - Krishna Patel; Robert M. Hierons (Softw. Qual. J., 2019)

The world changes. - Robert M. Hierons (Softw. Test. Verification Reliab., 2019)

Four-Valued Monitorability of ømega-Regular Languages. - Zhe Chen 011; Yunyun Chen; Robert M. Hierons; Yifan Wu (ICFEM, 2020)

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. - Bruno Lima; João Pascoal Faria; Robert M. Hierons (IEEE Access, 2020)

Four-valued monitorability of ω-regular languages. - Zhe Chen 011; Yunyun Chen; Robert M. Hierons; Yifan Wu (CoRR, 2020)

Guest Editorial: Special Section on ICTSS. - Inmaculada Medina-Bulo; Mercedes G. Merayo; Robert M. Hierons (Inf. Softw. Technol., 2020)

Implementation relations and testing for cyclic systems with refusals and discrete time. - Raluca Lefticaru; Robert M. Hierons; Manuel Núñez 001 (J. Syst. Softw., 2020)

Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. - Robert M. Hierons; Tao Xie 001 (ACM SIGSOFT Softw. Eng. Notes, 2020)

Working Across Boundaries. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2020)

Conference Virtualization. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2020)

On automation in software engineering. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2020)

Inputs and Outputs in CSP: A Model and a Testing Theory. - Ana Cavalcanti 001; Robert M. Hierons; Sidney C. Nogueira (ACM Trans. Comput. Log., 2020)

Many-Objective Test Suite Generation for Software Product Lines. - Robert M. Hierons; Miqing Li; Xiaohui Liu 001; José Antonio Parejo; Sergio Segura; Xin Yao 001 (ACM Trans. Softw. Eng. Methodol., 2020)

Are 20% of Classes Responsible for 80% of Refactorings? - Steve Counsell; Robert M. Hierons; Krishna Patel (SEAA, 2021)

Efficient state synchronisation in model-based testing through reinforcement learning. - Uraz Cengiz Türker; Robert M. Hierons; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (ASE, 2021)

Test case generation for agent-based models: A systematic literature review. - Andrew G. Clark; Neil Walkinshaw; Robert M. Hierons (Inf. Softw. Technol., 2021)

Using mutual information to test from Finite State Machines: Test suite selection. - Alfredo Ibias; Manuel Núñez 001; Robert M. Hierons (Inf. Softw. Technol., 2021)

Minimizing Characterizing sets. - Uraz Cengiz Türker; Robert M. Hierons; Guy-Vincent Jourdan (Sci. Comput. Program., 2021)

Editorial: Testing, Debugging, and Defect Prediction. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2021)

Editorial: Verification, reliability and performance. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2021)

Adaptive or embedded software testing and mutation testing. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2021)

Property generation/verification and empirical studies. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2021)

Preface. - Robert M. Hierons; Mohamed Mosbah 001 (Theor. Comput. Sci., 2021)

TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. - Alberto Núñez; Pablo C. Cañizares; Manuel Núñez 001; Robert M. Hierons (IEEE Trans. Reliab., 2021)

$ mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. - Khaled El-Fakih; Robert M. Hierons; Uraz Cengiz Türker (IEEE Trans. Software Eng., 2021)

Reliable counterparts: efficiently testing causal relationships in digital twins. - Richard J. Somers; Andrew G. Clark; Neil Walkinshaw; Robert M. Hierons (MoDELS (Companion), 2022)

An information theoretic notion of software testability. - Krishna Patel; Robert M. Hierons; David Clark 001 (Inf. Softw. Technol., 2022)

Farewell after an 11-year journey as joint editor-in-chief. - Robert M. Hierons (Softw. Test. Verification Reliab., 2022)

Model checking, testing and debugging. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2022)

Combinatorial testing and model-based testing. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2022)

Metamorphic testing and test automation. - Robert M. Hierons; Tao Xie 001 (Softw. Test. Verification Reliab., 2022)

Implementation Relations for Distributed Testing. - Robert M. Hierons; Mercedes G. Merayo; Manuel Núñez 001 (Applicable Formal Methods for Safe Industrial Products, 2023)

Challenges in testing of cyclic systems. - Ana Cavalcanti 001; Robert M. Hierons (ICECCS, 2023)

Metamorphic Testing with Causal Graphs. - Andrew G. Clark; Michael Foster 001; Neil Walkinshaw; Robert M. Hierons (ICST, 2023)

A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing. - Islam T. Elgendy; Robert M. Hierons; Phil McMinn (CoRR, 2023)

Implementation relations and testing for cyclic systems: Adding probabilities. - Manuel Núñez 001; Robert M. Hierons; Raluca Lefticaru (Robotics Auton. Syst., 2023)

Modelling Second-Order Uncertainty in State Machines. - Neil Walkinshaw; Robert M. Hierons (IEEE Trans. Software Eng., 2023)

Trustworthy Autonomous Systems Through Verifiability. - Mohammad Reza Mousavi 001; Ana Cavalcanti 001; Michael Fisher 001; Louise A. Dennis; Robert M. Hierons; Bilal Y. Kaddouh; Effie Lai-Chong Law; Robert C. Richardson; Jan Oliver Ringert; Ivan Tyukin; Jim Woodcock 001 (Computer, 2023)

Removing redundant refusals: Minimal complete test suites for failure trace semantics. - Maciej Gazda; Robert M. Hierons (Inf. Comput., 2023)

Digital-twin-based testing for cyber-physical systems: A systematic literature review. - Richard J. Somers; James A. Douthwaite; David J. Wagg; Neil Walkinshaw; Robert M. Hierons (Inf. Softw. Technol., 2023)

Testing using CSP Models: Time, Inputs, and Outputs. - James Baxter 001; Ana Cavalcanti 001; Maciej Gazda; Robert M. Hierons (ACM Trans. Comput. Log., 2023)

Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. - Uraz Cengiz Türker; Robert M. Hierons; Gerassimos D. Barlas; Khaled El-Fakih (IEEE Trans. Software Eng., 2023)

Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites. - Islam T. Elgendy; Robert M. Hierons; Phil McMinn (AST@ICSE, 2024)

Bounding Random Test Set Size with Computational Learning Theory. - Neil Walkinshaw; Michael Foster 001; José Miguel Rojas; Robert M. Hierons (CoRR, 2024)

Testing Causality in Scientific Modelling Software. - Andrew G. Clark; Michael Foster 001; Benedikt Prifling; Neil Walkinshaw; Robert M. Hierons; Volker Schmidt; Robert D. Turner (ACM Trans. Softw. Eng. Methodol., 2024)

Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. - Uraz Cengiz Türker; Robert M. Hierons; Khaled El-Fakih; Mohammad Reza Mousavi 001; Ivan Yu. Tyukin (IEEE Trans. Software Eng., 2024)