default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert M. Hierons
Person information
- affiliation: The University of Sheffield, UK
- affiliation (former): Brunel University London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j184]Maciej Gazda, Robert M. Hierons
:
Model independent refusal trace testing. Sci. Comput. Program. 239: 103173 (2025)- 2024
- [j183]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. Proc. ACM Softw. Eng. 1(FSE): 2538-2560 (2024) - [j182]Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner:
Testing Causality in Scientific Modelling Software. ACM Trans. Softw. Eng. Methodol. 33(1): 10:1-10:42 (2024) - [j181]Uraz Cengiz Türker, Robert M. Hierons, Khaled El-Fakih, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Accelerating Finite State Machine-Based Testing Using Reinforcement Learning. IEEE Trans. Software Eng. 50(3): 574-597 (2024) - [c108]Islam T. Elgendy, Robert M. Hierons, Phil McMinn:
Evaluating String Distance Metrics for Reducing Automatically Generated Test Suites. AST@ICSE 2024: 171-181 - [c107]Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw:
Causal Test Adequacy. ICST 2024: 161-172 - [i13]Neil Walkinshaw, Michael Foster, José Miguel Rojas, Robert M. Hierons:
Bounding Random Test Set Size with Computational Learning Theory. CoRR abs/2405.17019 (2024) - 2023
- [j180]Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock:
Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023) - [j179]Maciej Gazda, Robert M. Hierons:
Removing redundant refusals: Minimal complete test suites for failure trace semantics. Inf. Comput. 291: 105009 (2023) - [j178]Richard J. Somers, James A. Douthwaite, David J. Wagg, Neil Walkinshaw, Robert M. Hierons:
Digital-twin-based testing for cyber-physical systems: A systematic literature review. Inf. Softw. Technol. 156: 107145 (2023) - [j177]Manuel Núñez, Robert M. Hierons, Raluca Lefticaru:
Implementation relations and testing for cyclic systems: Adding probabilities. Robotics Auton. Syst. 165: 104426 (2023) - [j176]James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023) - [j175]Neil Walkinshaw, Robert M. Hierons:
Modelling Second-Order Uncertainty in State Machines. IEEE Trans. Software Eng. 49(5): 3261-3276 (2023) - [j174]Uraz Cengiz Türker, Robert M. Hierons, Gerassimos D. Barlas, Khaled El-Fakih:
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs. IEEE Trans. Software Eng. 49(9): 4371-4389 (2023) - [c106]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for Distributed Testing. Applicable Formal Methods for Safe Industrial Products 2023: 34-48 - [c105]Ana Cavalcanti, Robert M. Hierons:
Challenges in testing of cyclic systems. ICECCS 2023: 1-6 - [c104]Andrew G. Clark, Michael Foster, Neil Walkinshaw, Robert M. Hierons:
Metamorphic Testing with Causal Graphs. ICST 2023: 153-164 - [i12]Islam T. Elgendy, Robert M. Hierons, Phil McMinn:
A Survey of the Metrics, Uses, and Subjects of Diversity-Based Techniques in Software Testing. CoRR abs/2311.09714 (2023) - 2022
- [j173]Krishna Patel, Robert M. Hierons, David Clark:
An information theoretic notion of software testability. Inf. Softw. Technol. 143: 106759 (2022) - [j172]Robert M. Hierons, Tao Xie:
Model checking, testing and debugging. Softw. Test. Verification Reliab. 32(1) (2022) - [j171]Robert M. Hierons, Tao Xie:
Combinatorial testing and model-based testing. Softw. Test. Verification Reliab. 32(2) (2022) - [j170]Robert M. Hierons, Tao Xie:
Metamorphic testing and test automation. Softw. Test. Verification Reliab. 32(3) (2022) - [j169]Robert M. Hierons:
Farewell after an 11-year journey as joint editor-in-chief. Softw. Test. Verification Reliab. 32(4) (2022) - [c103]Richard J. Somers, Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Reliable counterparts: efficiently testing causal relationships in digital twins. MoDELS (Companion) 2022: 468-472 - [i11]Andrew G. Clark, Michael Foster, Benedikt Prifling, Neil Walkinshaw, Robert M. Hierons, Volker Schmidt, Robert D. Turner:
Testing Causality in Scientific Modelling Software. CoRR abs/2209.00357 (2022) - 2021
- [j168]Alfredo Ibias, Manuel Núñez, Robert M. Hierons:
Using mutual information to test from Finite State Machines: Test suite selection. Inf. Softw. Technol. 132: 106498 (2021) - [j167]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. Inf. Softw. Technol. 135: 106567 (2021) - [j166]Uraz Cengiz Türker, Robert M. Hierons, Guy-Vincent Jourdan:
Minimizing Characterizing sets. Sci. Comput. Program. 208: 102645 (2021) - [j165]Robert M. Hierons, Tao Xie:
Editorial: Testing, Debugging, and Defect Prediction. Softw. Test. Verification Reliab. 31(5) (2021) - [j164]Robert M. Hierons, Tao Xie:
Editorial: Verification, reliability and performance. Softw. Test. Verification Reliab. 31(6) (2021) - [j163]Robert M. Hierons, Tao Xie:
Adaptive or embedded software testing and mutation testing. Softw. Test. Verification Reliab. 31(7) (2021) - [j162]Robert M. Hierons, Tao Xie:
Property generation/verification and empirical studies. Softw. Test. Verification Reliab. 31(8) (2021) - [j161]Robert M. Hierons, Mohamed Mosbah:
Preface. Theor. Comput. Sci. 880: 138 (2021) - [j160]Alberto Núñez, Pablo C. Cañizares, Manuel Núñez, Robert M. Hierons:
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems. IEEE Trans. Reliab. 70(1): 261-284 (2021) - [j159]Khaled El-Fakih, Robert M. Hierons, Uraz Cengiz Türker:
$\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs. IEEE Trans. Software Eng. 47(5): 1029-1040 (2021) - [c102]Steve Counsell, Robert M. Hierons, Krishna Patel:
Are 20% of Classes Responsible for 80% of Refactorings? SEAA 2021: 287-290 - [c101]Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. ASE 2021: 368-380 - [c100]Maciej Gazda, Robert M. Hierons:
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. LICS 2021: 1-13 - [i10]Andrew G. Clark, Neil Walkinshaw, Robert M. Hierons:
Test case generation for agent-based models: A systematic literature review. CoRR abs/2103.07370 (2021) - 2020
- [j158]Bruno Lima, João Pascoal Faria, Robert M. Hierons:
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. IEEE Access 8: 167172-167191 (2020) - [j157]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Guest Editorial: Special Section on ICTSS. Inf. Softw. Technol. 118 (2020) - [j156]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
Implementation relations and testing for cyclic systems with refusals and discrete time. J. Syst. Softw. 170: 110738 (2020) - [j155]Robert M. Hierons, Tao Xie:
Peer Reviewing in Software Engineering: Perspectives from STVR Co-Editors-in-Chief. ACM SIGSOFT Softw. Eng. Notes 45(4): 18 (2020) - [j154]Robert M. Hierons, Tao Xie:
Working Across Boundaries. Softw. Test. Verification Reliab. 30(3) (2020) - [j153]Robert M. Hierons, Tao Xie:
Conference Virtualization. Softw. Test. Verification Reliab. 30(4-5) (2020) - [j152]Robert M. Hierons, Tao Xie:
On automation in software engineering. Softw. Test. Verification Reliab. 30(6) (2020) - [j151]Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira:
Inputs and Outputs in CSP: A Model and a Testing Theory. ACM Trans. Comput. Log. 21(3): 24:1-24:53 (2020) - [j150]Robert M. Hierons, Miqing Li, Xiaohui Liu, José Antonio Parejo, Sergio Segura, Xin Yao:
Many-Objective Test Suite Generation for Software Product Lines. ACM Trans. Softw. Eng. Methodol. 29(1): 2:1-2:46 (2020) - [c99]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-Valued Monitorability of ømega-Regular Languages. ICFEM 2020: 198-214 - [i9]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-valued monitorability of ω-regular languages. CoRR abs/2002.06737 (2020)
2010 – 2019
- 2019
- [j149]Alfredo Ibias, Robert M. Hierons, Manuel Núñez:
Using Squeeziness to test component-based systems defined as Finite State Machines. Inf. Softw. Technol. 112: 132-147 (2019) - [j148]David Clark, Robert M. Hierons, Krishna Patel:
Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. 149: 6-9 (2019) - [j147]Robert M. Hierons:
FSM quasi-equivalence testing via reduction and observing absences. Sci. Comput. Program. 177: 1-18 (2019) - [j146]Krishna Patel, Robert M. Hierons:
A partial oracle for uniformity statistics. Softw. Qual. J. 27(4): 1419-1447 (2019) - [j145]Robert M. Hierons:
The world changes. Softw. Test. Verification Reliab. 29(6-7) (2019) - [c98]Robert Sachtleben, Robert M. Hierons, Wen-ling Huang, Jan Peleska:
A Mechanised Proof of an Adaptive State Counting Algorithm. ICTSS 2019: 176-193 - [c97]Bruno Lima, João Pascoal Faria, Robert M. Hierons:
Local Observability and Controllability Enforcement in Distributed Testing. QUATIC 2019: 327-338 - [c96]Raluca Lefticaru, Robert M. Hierons, Manuel Núñez:
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. SEFM 2019: 393-409 - [c95]Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru:
Testing Robots Using CSP. TAP@FM 2019: 21-38 - [e8]Robert M. Hierons, Mohamed Mosbah:
Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Lecture Notes in Computer Science 11884, Springer 2019, ISBN 978-3-030-32504-6 [contents] - 2018
- [j144]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Passive testing with asynchronous communications and timestamps. Distributed Comput. 31(5): 327-342 (2018) - [j143]Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - [j142]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A tool supported methodology to passively test asynchronous systems with multiple users. Inf. Softw. Technol. 104: 162-178 (2018) - [j141]Krishna Patel, Robert M. Hierons:
A mapping study on testing non-testable systems. Softw. Qual. J. 26(4): 1373-1413 (2018) - [j140]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Bounded Reordering in the Distributed Test Architecture. IEEE Trans. Reliab. 67(2): 522-537 (2018) - [c94]Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, Robert M. Hierons:
Smart contracts vulnerabilities: a call for blockchain software engineering? IWBOSE@SANER 2018: 19-25 - [e7]Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert M. Hierons:
Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings. Lecture Notes in Computer Science 11146, Springer 2018, ISBN 978-3-319-99926-5 [contents] - 2017
- [j139]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences. Comput. J. 60(1): 110-125 (2017) - [j138]Brijesh Dongol, Robert M. Hierons:
Decidability and complexity for quiescent consistency and its variations. Inf. Comput. 257: 1-21 (2017) - [j137]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
An extended framework for passive asynchronous testing. J. Log. Algebraic Methods Program. 86(1): 408-424 (2017) - [j136]Robert M. Hierons, Manuel Núñez:
Implementation relations and probabilistic schedulers in the distributed test architecture. J. Syst. Softw. 132: 319-335 (2017) - [j135]Mario Bravetti, Robert M. Hierons, Mercedes G. Merayo:
Introduction to the Software Engineering and Formal Methods 2013 special issue. Softw. Syst. Model. 16(1): 5-6 (2017) - [j134]Robert M. Hierons:
How to manage a conference special issue. Softw. Test. Verification Reliab. 27(3) (2017) - [j133]Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. ACM Trans. Softw. Eng. Methodol. 26(1): 5:1-5:34 (2017) - [j132]Robert M. Hierons:
Testing from Partial Finite State Machines without Harmonised Traces. IEEE Trans. Software Eng. 43(11): 1033-1043 (2017) - [c93]Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall:
Constraint-Based Oracles for Timed Distributed Systems. ICTSS 2017: 276-292 - [c92]Christopher L. Robinson-Mallett, Robert M. Hierons:
Integrating Graphical and Natural Language Specifications to Support Analysis and Testing. RE Workshops 2017: 331-338 - [c91]Robert M. Hierons, Mohammad Reza Mousavi, Michael Kirkedal Thomsen, Uraz Cengiz Türker:
Hardness of Deriving Invertible Sequences from Finite State Machines. SOFSEM 2017: 147-160 - [i8]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
On the computational complexity of dynamic slicing problems for program schemas. CoRR abs/1705.07686 (2017) - [i7]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Characterizing Minimal Semantics-preserving Slices of predicate-linear, Free, Liberal Program Schemas. CoRR abs/1705.09615 (2017) - 2016
- [j131]Robert M. Hierons:
A More Precise Implementation Relation for Distributed Testing. Comput. J. 59(1): 33-46 (2016) - [j130]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences. Comput. J. 59(8): 1186-1206 (2016) - [j129]Wei Zheng, Robert M. Hierons, Miqing Li, Xiaohui Liu, Veronica Vinciotti:
Multi-objective optimisation for regression testing. Inf. Sci. 334-335: 1-16 (2016) - [j128]Robert M. Hierons:
The dreaded desk reject. Softw. Test. Verification Reliab. 26(1): 3 (2016) - [j127]Robert M. Hierons:
Editorial. Softw. Test. Verification Reliab. 26(6): 430 (2016) - [j126]Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets. IEEE Trans. Computers 65(11): 3370-3383 (2016) - [j125]Robert M. Hierons, Miqing Li, Xiaohui Liu, Sergio Segura, Wei Zheng:
SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization. ACM Trans. Softw. Eng. Methodol. 25(2): 17:1-17:39 (2016) - [j124]Robert M. Hierons, Uraz Cengiz Türker:
Parallel Algorithms for Testing Finite State Machines: Generating UIO Sequences. IEEE Trans. Software Eng. 42(11): 1077-1091 (2016) - [c90]Brijesh Dongol, Robert M. Hierons:
Decidability and Complexity for Quiescent Consistency. LICS 2016: 116-125 - [c89]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllability Through Nondeterminism in Distributed Testing. ICTSS 2016: 89-105 - [c88]Krishna Patel, Robert M. Hierons:
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. ICTSS 2016: 123-138 - [c87]Ana Cavalcanti, Robert M. Hierons, Sidney C. Nogueira, Augusto Sampaio:
A Suspension-Trace Semantics for CSP. TASE 2016: 3-13 - 2015
- [j123]Alberto Nuñez, Robert M. Hierons:
A methodology for validating cloud models using metamorphic testing. Ann. des Télécommunications 70(3-4): 127-135 (2015) - [j122]Robert M. Hierons, Uraz Cengiz Türker:
Incomplete Distinguishing Sequences for Finite State Machines. Comput. J. 58(11): 3089-3113 (2015) - [j121]Mohammad A. Nabulsi, Robert M. Hierons:
A Test Framework for Communications-Critical Large-Scale Systems. IEEE Softw. 32(3): 86-93 (2015) - [j120]Eitan Farchi, Robert M. Hierons, João Lourenço:
Special issue on testing, analysis and debugging of concurrent programs. Softw. Test. Verification Reliab. 25(3): 165-166 (2015) - [j119]Robert M. Hierons:
Generating Complete Controllable Test Suites for Distributed Testing. IEEE Trans. Software Eng. 41(3): 279-293 (2015) - [c86]Matt Gatrell, Steve Counsell, Steve Swift, Robert M. Hierons, Xiaohui Liu:
Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective. EUROMICRO-SEAA 2015: 35-38 - [c85]Robert M. Hierons, Uraz Cengiz Türker:
Generating Minimum Height ADSs for Partially Specified Finite State Machines. ISCIS 2015: 171-179 - [i6]Brijesh Dongol, Robert M. Hierons:
Decidability and Complexity for Quiescent Consistency and its Variations. CoRR abs/1511.08447 (2015) - 2014
- [j118]Haitao Dan, Robert M. Hierons:
The Oracle Problem When Testing from MSCs. Comput. J. 57(7): 987-1001 (2014) - [j117]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Timed implementation relations for the distributed test architecture. Distributed Comput. 27(3): 181-201 (2014) - [j116]Sergio Segura, José Antonio Parejo, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated generation of computationally hard feature models using evolutionary algorithms. Expert Syst. Appl. 41(8): 3975-3992 (2014) - [j115]Robert M. Hierons:
Combining Centralised and Distributed Testing. ACM Trans. Softw. Eng. Methodol. 24(1): 5:1-5:29 (2014) - [c84]Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman:
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE 2014: 573-583 - [c83]Robert M. Hierons, Uraz Cengiz Türker:
Distinguishing Sequences for Partially Specified FSMs. NASA Formal Methods 2014: 62-76 - 2013
- [j114]Robert M. Hierons:
Implementation Relations for Testing Through Asynchronous Channels. Comput. J. 56(11): 1305-1319 (2013) - [j113]Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons:
Towards estimating computer users' mood from interaction behaviour with keyboard and mouse. Frontiers Comput. Sci. 7(6): 943-954 (2013) - [j112]Robert M. Hierons, Mercedes G. Merayo:
Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011). Inf. Softw. Technol. 55(5): 865 (2013) - [j111]Mohammad Saeed Abou Trab, Michael J. Brockway, Steve Counsell, Robert M. Hierons:
Testing Real-Time Embedded Systems using Timed Automata based approaches. J. Syst. Softw. 86(5): 1209-1223 (2013) - [j110]John A. Clark, Haitao Dan, Robert M. Hierons:
Semantic mutation testing. Sci. Comput. Program. 78(4): 345-363 (2013) - [j109]Alberto Nuñez, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17(2): 301-315 (2013) - [j108]Robert M. Hierons:
Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces. IEEE Trans. Computers 62(8): 1673-1683 (2013) - [j107]Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt:
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39(7): 892-909 (2013) - [c82]Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett:
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. FASE 2013: 179-193 - [c81]Ana Cavalcanti, Robert M. Hierons:
Testing with Inputs and Outputs in CSP. FASE 2013: 359-374 - [c80]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Passive Testing with Asynchronous Communications. FMOODS/FORTE 2013: 99-113 - [c79]Steve Counsell, Matt Gatrell, Robert M. Hierons, Alessandro Murgia, Roberto Tonelli, Michele Marchesi, Giulio Concas:
Conditional-Based Refactorings and Fault-Proneness: An Empirical Study. ICST Workshops 2013: 80-85 - [c78]Christophe Gaston, Robert M. Hierons, Pascale Le Gall:
An Implementation Relation and Test Framework for Timed Distributed Systems. ICTSS 2013: 82-97 - [e6]Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti:
Software Engineering and Formal Methods - 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Lecture Notes in Computer Science 8137, Springer 2013, ISBN 978-3-642-40560-0 [contents] - 2012
- [j106]Haitao Dan, Robert M. Hierons:
Controllability Problems in MSC-Based Testing. Comput. J. 55(11): 1270-1287 (2012) - [j105]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation relations and test generation for systems with distributed interfaces. Distributed Comput. 25(1): 35-62 (2012) - [j104]Robert M. Hierons:
Overcoming controllability problems in distributed testing from an input output transition system. Distributed Comput. 25(1): 63-81 (2012) - [j103]Robert M. Hierons, Manuel Núñez:
Using schedulers to test probabilistic distributed systems. Formal Aspects Comput. 24(4-6): 679-699 (2012) - [j102]Haitao Dan, Robert M. Hierons, Steve Counsell:
A framework for pathologies of message sequence charts. Inf. Softw. Technol. 54(11): 1283-1295 (2012) - [j101]David Clark, Robert M. Hierons:
Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112(8-9): 335-340 (2012) - [j100]Robert M. Hierons:
The complexity of asynchronous model based testing. Theor. Comput. Sci. 451: 70-82 (2012) - [j99]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Complexity of Data Dependence Problems for Program Schemas with Concurrency. ACM Trans. Comput. Log. 13(2): 15:1-15:18 (2012) - [j98]Robert M. Hierons:
Oracles for Distributed Testing. IEEE Trans. Software Eng. 38(3): 629-641 (2012) - [c77]Robert M. Hierons:
Model Based Test Automation through Asynchronous Channels. COMPSAC Workshops 2012: 439 - [c76]Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata. COMPSAC 2012: 660-669 - [c75]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Using Time to Add Order to Distributed Testing. FM 2012: 232-246 - [c74]Haitao Dan, Robert M. Hierons:
Semantic Mutation Analysis of Floating-Point Comparison. ICST 2012: 290-299 - [c73]Haitao Dan, Robert M. Hierons:
SMT-C: A Semantic Mutation Testing Tools for C. ICST 2012: 654-663 - 2011
- [j97]Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons:
Do moods affect programmers' debug performance? Cogn. Technol. Work. 13(4): 245-258 (2011) - [j96]Asma Mubarak, Steve Counsell, Robert M. Hierons:
A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems. Int. J. Inf. Syst. Model. Des. 2(4): 1-26 (2011) - [j95]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated metamorphic testing on the analyses of feature models. Inf. Softw. Technol. 53(3): 245-258 (2011) - [j94]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Mutation testing on an object-oriented framework: An experience report. Inf. Softw. Technol. 53(10): 1124-1136 (2011) - [j93]Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift:
An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models. Inf. Softw. Technol. 53(12): 1297-1318 (2011) - [j92]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas. J. Log. Algebraic Methods Program. 80(2): 92-112 (2011) - [j91]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas. J. Log. Algebraic Methods Program. 80(8): 481-496 (2011) - [j90]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
On the computational complexity of dynamic slicing problems for program schemas. Math. Struct. Comput. Sci. 21(6): 1339-1362 (2011) - [j89]Mercedes G. Merayo, Manuel Núñez, Robert M. Hierons:
Testing timed systems modeled by Stream X-machines. Softw. Syst. Model. 10(2): 201-217 (2011) - [j88]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-based testing of systems with distributed ports. Softw. Pract. Exp. 41(10): 999-1026 (2011) - [j87]Robert M. Hierons, Aditya Mathur:
ICST 2008 Special Issue. Softw. Test. Verification Reliab. 21(1): 1 (2011) - [j86]Robert M. Hierons:
Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports. IEEE Trans. Computers 60(12): 1818-1822 (2011) - [c72]Mohammad Saeed Abou Trab, Steve Counsell, Robert M. Hierons:
GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications. ECBS 2011: 61-70 - [c71]Haitao Dan, Robert M. Hierons:
Conformance Testing from Message Sequence Charts. ICST 2011: 279-288 - [c70]Carlos Molinero, Manuel Núñez, Robert M. Hierons:
Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM. ALIFE 2011: 22-29 - [c69]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems. IWANN (2) 2011: 396-403 - [c68]Carlos Molinero, Manuel Núñez, Robert M. Hierons:
Experimental Comparison of Different Techniques to Generate Adaptive Sequences. IWANN (2) 2011: 404-411 - [c67]Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons:
Conformance Relations for Distributed Testing Based on CSP. ICTSS 2011: 48-63 - [e5]Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011 [contents] - [i5]Robert M. Hierons:
Checking Finite State Machine Conformance when there are Distributed Observations. CoRR abs/1108.5295 (2011) - 2010
- [j85]Steve Counsell, Robert M. Hierons, Hamza Hamza, Sue Black, M. Durrand:
Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective. Adv. Softw. Eng. 2010: 820103:1-820103:12 (2010) - [j84]Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Estimating the feasibility of transition paths in extended finite state machines. Autom. Softw. Eng. 17(1): 33-56 (2010) - [j83]Robert M. Hierons, Hasan Ural:
Generating a checking sequence with a minimum number of reset transitions. Autom. Softw. Eng. 17(3): 217-250 (2010) - [j82]S. T. Parkinson, Robert M. Hierons, Mark Lycett, M. Norman:
Practitioner-based measurement: a collaborative approach. Commun. ACM 53(3): 142-147 (2010) - [j81]Steve Counsell, Hamza Hamza, Robert M. Hierons:
An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria. J. Comput. Inf. Technol. 18(4) (2010) - [j80]Robert M. Hierons:
Reaching and Distinguishing States of Distributed Systems. SIAM J. Comput. 39(8): 3480-3500 (2010) - [j79]Robert M. Hierons:
Canonical finite state machines for distributed systems. Theor. Comput. Sci. 411(2): 566-580 (2010) - [j78]Richard W. Barraclough, David W. Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya:
A trajectory-based strict semantics for program slicing. Theor. Comput. Sci. 411(11-13): 1372-1386 (2010) - [j77]Robert M. Hierons:
Checking experiments for stream X-machines. Theor. Comput. Sci. 411(37): 3372-3385 (2010) - [c66]Robert M. Hierons, Manuel Núñez:
Testing Probabilistic Distributed Systems. FMOODS/FORTE 2010: 63-77 - [c65]Steve Counsell, Robert M. Hierons, Hamza Hamza, Sue Black, M. Durrand:
Is a strategy for code smell assessment long overdue? WETSoM 2010: 32-38 - [c64]Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés:
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach. ICST 2010: 35-44 - [c63]John A. Clark, Haitao Dan, Robert M. Hierons:
Semantic Mutation Testing. ICST Workshops 2010: 100-109 - [c62]Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift:
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) with the Counter Problem. ICST Workshops 2010: 232-235 - [c61]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Scenarios-Based Testing of Systems with Distributed Ports. QSIC 2010: 52-61 - [c60]Asma Mubarak, Steve Counsell, Robert M. Hierons:
An Evolutionary Study of Fan-in and Fan-out Metrics in OSS. RCIS 2010: 473-482 - [c59]Haitao Dan, Robert M. Hierons, Steve Counsell:
Non-local Choice and Implied Scenarios. SEFM 2010: 53-62 - [c58]Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea:
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. TAIC PART 2010: 194-197 - [e4]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
Model-Based Testing in Practice, 17.10. - 22.10.2010. Dagstuhl Seminar Proceedings 10421, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [r1]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Mutation Testing. Encyclopedia of Software Engineering 2010: 594-602 - [i4]Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans:
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors 2010 - [i3]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Abstracts Collection - Model-Based Testing in Practice. Model-Based Testing in Practice 2010 - [i2]Wolfgang Grieskamp, Robert M. Hierons, Alexander Pretschner:
10421 Summary - Model-Based Testing in Practice. Model-Based Testing in Practice 2010 - [i1]Sebastian Danicic, Robert M. Hierons, Michael R. Laurence:
Complexity of Data Dependence problems for Program Schemas with Concurrency. CoRR abs/1007.3878 (2010)
2000 – 2009
- 2009
- [j76]Robert M. Hierons, Hasan Ural:
Overcoming controllability problems with fewest channels between testers. Comput. Networks 53(5): 680-690 (2009) - [j75]Robert M. Hierons, Kirill Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul J. Krause, Gerald Lüttgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward, Hussein Zedan:
Using formal specifications to support testing. ACM Comput. Surv. 41(2): 9:1-9:76 (2009) - [j74]Robert M. Hierons:
Using status messages in the distributed test architecture. Inf. Softw. Technol. 51(7): 1123-1130 (2009) - [j73]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Testing from a stochastic timed system with a fault model. J. Log. Algebraic Methods Program. 78(2): 98-115 (2009) - [j72]Robert M. Hierons, Mercedes G. Merayo:
Mutation testing from probabilistic and stochastic finite state machines. J. Syst. Softw. 82(11): 1804-1818 (2009) - [j71]Robert M. Hierons:
Verdict functions in testing with a fault domain or test hypotheses. ACM Trans. Softw. Eng. Methodol. 18(4): 14:1-14:19 (2009) - [c57]Adel Almohammad, Gheorghita Ghinea, Robert M. Hierons:
JPEG Steganography: A Performance Evaluation of Quantization Tables. AINA 2009: 471-478 - [c56]Asma Mubarak, Steve Counsell, Robert M. Hierons:
Does an 80: 20 rule apply to Java coupling? EASE 2009 - [c55]Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift:
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). ICST 2009: 230-239 - [c54]Karnig Derderian, Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms. IWANN (1) 2009: 327-334 - [c53]Robert M. Hierons, Manuel Núñez:
Simulation Relations for Systems with Distributed Interfaces. SEFM 2009: 41-50 - [c52]Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. SEFM 2009: 157-166 - 2008
- [j70]Robert M. Hierons, Hasan Ural:
The Effect of the Distributed Test Architecture on the Power of Testing. Comput. J. 51(4): 497-510 (2008) - [j69]Robert M. Hierons, Hasan Ural:
Checking sequences for distributed test architectures. Distributed Comput. 21(3): 223-238 (2008) - [j68]Robert M. Hierons, Florentin Ipate:
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine. Formal Aspects Comput. 20(6): 597-617 (2008) - [j67]Christopher Robinson-Mallett, Robert M. Hierons, Jesse H. Poore, Peter Liggesmeyer:
Using communication coverage criteria and partial model generation to assist software integration testing. Softw. Qual. J. 16(2): 185-211 (2008) - [c51]Adel Almohammad, Robert M. Hierons, Gheorghita Ghinea:
High Capacity Steganographic Method Based Upon JPEG. ARES 2008: 544-549 - [c50]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture. ATVA 2008: 201-215 - [c49]Asma Mubarak, Steve Counsell, Robert M. Hierons:
An Empirical Study of "Removed" Classes in Java Open-Source Systems. SCSS (2) 2008: 99-104 - [c48]Iftikhar Ahmed Khan, Willem-Paul Brinkman, Nick Fine, Robert M. Hierons:
Measuring personality from keyboard and mouse use. ECCE 2008: 38 - [c47]Jessica Chen, Robert M. Hierons, Hasan Ural:
Testing in the Distributed Test Architecture. Formal Methods and Testing 2008: 157-183 - [c46]Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper:
Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344 - [c45]S. T. Parkinson, Steve Counsell, M. Norman, Robert M. Hierons, Mark Lycett:
The precursor to an industrial software metrics program. ITI 2008: 221-226 - [c44]Iftikhar Ahmed Khan, Willem-Paul Brinkman, Robert M. Hierons:
Towards a Computer Interaction-Based Mood Measure Instrument. PPIG 2008: 17 - [c43]Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez:
Implementation Relations for the Distributed Test Architecture. TestCom/FATES 2008: 200-215 - [c42]Robert M. Hierons:
Testing in the Distributed Test Architecture: An Extended Abstract. QSIC 2008: 11-14 - [c41]Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions. SAC 2008: 682-687 - [c40]Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts. SEFM 2008: 201-210 - [e3]Robert M. Hierons, Jonathan P. Bowen, Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers. Lecture Notes in Computer Science 4949, Springer 2008, ISBN 978-3-540-78916-1 [contents] - 2007
- [j66]Robert M. Hierons, Hasan Ural:
Reducing the cost of applying adaptive test cases. Comput. Networks 51(1): 224-238 (2007) - [j65]Asma Mubarak, Steve Counsell, Robert M. Hierons, Youssef Hassoun:
Package Evolvability and its Relationship with Refactoring. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 8 (2007) - [j64]Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Heuristics for fault diagnosis when testing from finite state machines. Softw. Test. Verification Reliab. 17(1): 41-57 (2007) - [j63]Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence:
Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time. Theor. Comput. Sci. 373(1-2): 1-18 (2007) - [j62]Zheng Li, Mark Harman, Robert M. Hierons:
Search Algorithms for Regression Test Case Prioritization. IEEE Trans. Software Eng. 33(4): 225-237 (2007) - [c39]Steve Counsell, Robert M. Hierons, George Loizou:
A Meta-analysis Approach to Refactoring and XP. AICCSA 2007: 67-75 - [c38]Steve Counsell, Stephen Swift, Robert M. Hierons:
A Test Taxonomy Applied to the Mechanics of Java Refactorings. SCSS (1) 2007: 497-502 - [c37]Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman:
Mood independent programming. ECCE 2007: 269-272 - [c36]Haitao Dan, Robert M. Hierons, Steve Counsell:
Thread-Based Analysis of Sequence Diagrams. FORTE 2007: 19-34 - [c35]Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman:
Moods and Programmers' Performance. PPIG 2007: 2 - [c34]Haitao Dan, Robert M. Hierons, Steve Counsell:
A Thread-tag Based Semantics for Sequence Diagrams. SEFM 2007: 173-182 - [c33]Steve Counsell, Robert M. Hierons:
Refactoring test suites versus test behaviour: a TTCN-3 perspective. SOQUA 2007: 31-38 - 2006
- [j61]Robert M. Hierons:
Separating sequence overlap for automated test sequence generation. Autom. Softw. Eng. 13(2): 283-301 (2006) - [j60]Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs. Comput. J. 49(3): 331-344 (2006) - [j59]John Derrick, Mark Harman, Robert M. Hierons:
Guest Editorial. Formal Aspects Comput. 18(1): 1-2 (2006) - [j58]Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Improving test quality using robust unique input/output circuit sequences (UIOCs). Inf. Softw. Technol. 48(8): 696-707 (2006) - [j57]Robert M. Hierons:
Applying adaptive test cases to nondeterministic implementations. Inf. Process. Lett. 98(2): 56-60 (2006) - [j56]Jessica Chen, Robert M. Hierons, Hasan Ural:
Overcoming observability problems in distributed test architectures. Inf. Process. Lett. 98(5): 177-182 (2006) - [j55]Christopher Robinson-Mallett, Robert M. Hierons, Peter Liggesmeyer:
Achieving communication coverage in testing. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-10 (2006) - [j54]Robert M. Hierons:
Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410. Softw. Test. Verification Reliab. 16(1): 61 (2006) - [j53]Phil McMinn, Robert M. Hierons:
Editorial: Addressing industrial challenges - UKTest 2005 and beyond. Softw. Test. Verification Reliab. 16(3): 131-132 (2006) - [j52]Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell:
A Tribute to Martin Woodward. Softw. Test. Verification Reliab. 16(4): 209-211 (2006) - [j51]Robert M. Hierons:
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. Softw. Test. Verification Reliab. 16(4): 289-290 (2006) - [j50]Robert M. Hierons, Hasan Ural:
Optimizing the Length of Checking Sequences. IEEE Trans. Computers 55(5): 618-629 (2006) - [j49]Robert M. Hierons:
Avoiding coincidental correctness in boundary value analysis. ACM Trans. Softw. Eng. Methodol. 15(3): 227-241 (2006) - [c32]Iftikhar Ahmed Khan, Robert M. Hierons, Willem-Paul Brinkman:
Programmer's mood and their performance. ECCE 2006: 123-124 - [c31]Steve Counsell, Robert M. Hierons, Rajaa Najjar, George Loizou, Youssef Hassoun:
The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph. TAIC PART 2006: 181-192 - [e2]Robert M. Hierons, Henry Muccini:
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-459-6 [contents] - 2005
- [j48]Robert M. Hierons, Mark Harman, Chris Fox:
Branch-Coverage Testability Transformation for Unstructured Programs. Comput. J. 48(4): 421-436 (2005) - [j47]Sebastian Danicic, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Michael R. Laurence:
Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas. Comput. J. 48(6): 737-748 (2005) - [j46]Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques. IEE Proc. Softw. 152(3): 127-140 (2005) - [j45]Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John Howroyd, Lahcen Ouarbya, Martin P. Ward:
ConSUS: a light-weight program conditioner. J. Syst. Softw. 77(3): 241-262 (2005) - [j44]Nicolas E. Gold, Mark Harman, David W. Binkley, Robert M. Hierons:
Unifying program slicing and concept assignment for higher-level executable source code extraction. Softw. Pract. Exp. 35(10): 977-1006 (2005) - [j43]Robert M. Hierons:
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. Softw. Test. Verification Reliab. 15(2): 135-136 (2005) - [j42]Robert M. Hierons:
Editorial: Validating our findings. Softw. Test. Verification Reliab. 15(4): 209-210 (2005) - [c30]Jessica Chen, Robert M. Hierons, Hasan Ural:
Resolving Observability Problems in Distributed Test Architectures. FORTE 2005: 219-232 - [c29]Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms. GECCO 2005: 1081-1082 - [c28]Jessica Chen, Robert M. Hierons, Hasan Ural, Hüsnü Yenigün:
Eliminating Redundant Tests in a Checking Sequence. TestCom 2005: 146-158 - [c27]Deji Fatiregun, Mark Harman, Robert M. Hierons:
Search-Based Amorphous Slicing. WCRE 2005: 3-12 - 2004
- [j41]Robert M. Hierons, T.-H. Kim, Hasan Ural:
On the testability of SDL specifications. Comput. Networks 44(5): 681-700 (2004) - [j40]Robert M. Hierons:
Using a minimal number of resets when testing from a finite state machine. Inf. Process. Lett. 90(6): 287-292 (2004) - [j39]Robert M. Hierons:
A flexible environment to evaluate state-based test techniques. ACM SIGSOFT Softw. Eng. Notes 29(5): 1-3 (2004) - [j38]Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons:
ConSIT: a fully automated conditioned program slicer. Softw. Pract. Exp. 34(1): 15-46 (2004) - [j37]Robert M. Hierons:
Book Reviews. Softw. Test. Verification Reliab. 14(1): 72-73 (2004) - [j36]John A. Clark, Mark Harman, Robert M. Hierons:
Editorial: Software testing in the United Kingdom. Softw. Test. Verification Reliab. 14(3): 165-166 (2004) - [j35]Robert M. Hierons:
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting. IEEE Trans. Computers 53(10): 1330-1342 (2004) - [j34]Robert M. Hierons, Mark Harman:
Testing conformance of a deterministic implementation against a non-deterministic stream X-machine. Theor. Comput. Sci. 323(1-3): 191-233 (2004) - [j33]Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper:
Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004) - [c26]Jessica Chen, Robert M. Hierons, Hasan Ural:
Conditions for Resolving Observability Problems in Distributed Testing. FORTE 2004: 229-242 - [c25]Konstantinos Adamopoulos, Mark Harman, Robert M. Hierons:
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution. GECCO (2) 2004: 1338-1349 - [c24]Karnig Derderian, Robert M. Hierons, Mark Harman, Qiang Guo:
Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs). GECCO (2) 2004: 1429-1430 - [c23]Deji Fatiregun, Mark Harman, Robert M. Hierons:
Evolving Transformation Sequences using Genetic Algorithms. SCAM 2004: 66-75 - [c22]Mark Harman, David W. Binkley, Ranjit Singh, Robert M. Hierons:
Amorphous Procedure Extraction. SCAM 2004: 85-94 - [c21]Lin Hu, Mark Harman, Robert M. Hierons, David W. Binkley:
Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160 - [e1]Roland Groz, Robert M. Hierons:
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings. Lecture Notes in Computer Science 2978, Springer 2004, ISBN 3-540-21219-1 [contents] - 2003
- [j32]Robert M. Hierons:
Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine. Comput. J. 46(3): 307-318 (2003) - [j31]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:
Formulating software engineering as a search problem. IEE Proc. Softw. 150(3): 161-175 (2003) - [j30]Robert M. Hierons, Hasan Ural:
UIO sequence based checking sequences for distributed test architectures. Inf. Softw. Technol. 45(12): 793-803 (2003) - [j29]Robert M. Hierons:
Editorial: Testing in the large through the small? Softw. Test. Verification Reliab. 13(3): 139-140 (2003) - [j28]Robert M. Hierons:
Book Reviews. Softw. Test. Verification Reliab. 13(3): 197-198 (2003) - [j27]Michael R. Laurence, Sebastian Danicic, Mark Harman, Robert M. Hierons, John Howroyd:
Equivalence of conservative, free, linear program schemas is decidable. Theor. Comput. Sci. 290(1): 831-862 (2003) - [c20]Andrea De Lucia, Mark Harman, Robert M. Hierons, Jens Krinke:
Unions of Slices Are Not Slices. CSMR 2003: 363-367 - [c19]Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms. FATES 2003: 164-177 - [c18]Robert M. Hierons, Hasan Ural:
Concerning the Ordering of Adaptive Test Sequences. FORTE 2003: 289-302 - [c17]Deji Fatiregun, Mark Harman, Robert M. Hierons:
Search Based Transformations. GECCO 2003: 2511-2512 - [c16]Kiarash Mahdavi, Mark Harman, Robert M. Hierons:
Finding Building Blocks for Software Clustering. GECCO 2003: 2513-2514 - [c15]Kiarash Mahdavi, Mark Harman, Robert M. Hierons:
A Multiple Hill Climbing Approach to Software Module Clustering. ICSM 2003: 315-324 - [c14]Robert M. Hierons, Mark Harman, Harbhajan Singh:
Automatically Generating Information from a Z Specification to Support the Classification Tree Method. ZB 2003: 388-407 - 2002
- [j26]Robert M. Hierons, Mark Harman, Chris Fox, Lahcen Ouarbya, Mohammed Daoudi:
Conditioned slicing supports partition testing. Softw. Test. Verification Reliab. 12(1): 23-28 (2002) - [j25]Robert M. Hierons:
Editorial: Formal methods and testing. Softw. Test. Verification Reliab. 12(2): 69-70 (2002) - [j24]Robert M. Hierons, Hasan Ural:
Reduced Length Checking Sequences. IEEE Trans. Computers 51(9): 1111-1117 (2002) - [j23]Robert M. Hierons:
Comparing test sets and criteria in the presence of test hypotheses and fault domains. ACM Trans. Softw. Eng. Methodol. 11(4): 427-448 (2002) - [c13]Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause:
FORTEST: Formal Methods and Testing. COMPSAC 2002: 91-104 - [c12]Robert M. Hierons, T.-H. Kim, Hasan Ural:
Expanding an Extended Finite State Machine to aid Testability. COMPSAC 2002: 334-342 - [c11]Mark Harman, Robert M. Hierons, Mark Proctor:
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization. GECCO 2002: 1351-1358 - [c10]Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer:
Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366 - [c9]Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener:
A Post-Placement Side-Effect Removal Algorithm. ICSM 2002: 2-11 - [c8]Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel:
Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285 - [c7]Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener:
VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64 - [c6]Mark Harman, Nicolas Gold, Robert M. Hierons, David W. Binkley:
Code Extraction Algorithms which Unify Slicing and Concept Assignment. WCRE 2002: 11-21 - 2001
- [j22]Robert M. Hierons, Sadegh Sadeghipour, Harbhajan Singh:
Testing a system specified using Statecharts and Z. Inf. Softw. Technol. 43(2): 137-149 (2001) - [j21]Robert M. Hierons:
Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf. Softw. Technol. 43(9): 551-560 (2001) - [j20]Robert M. Hierons:
Checking states and transitions of a set of communicating finite state machines. Microprocess. Microsystems 24(9): 443-452 (2001) - [j19]Robert M. Hierons:
Real-Time Systems and Software. Softw. Focus 2(2): 81 (2001) - [j18]Mark Harman, Robert M. Hierons:
An overview of program slicing. Softw. Focus 2(3): 85-92 (2001) - [j17]Robert M. Hierons:
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. Softw. Test. Verification Reliab. 11(3): 197-198 (2001) - [c5]Mark Harman, Robert M. Hierons, Chris Fox, Sebastian Danicic, John Howroyd:
Pre/Post Conditioned Slicing. ICSM 2001: 138-147 - [c4]Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons:
Backward Conditioning: A New Program Specialisation Technique and Its Application to Program Comprehension. IWPC 2001: 89-97 - [c3]Mark Harman, Robert M. Hierons, Sebastian Danicic, John Howroyd, Michael R. Laurence, Chris Fox:
Node Coarsening Calculi for Program Slicing. WCRE 2001: 25-34 - 2000
- [j16]Robert M. Hierons, Mark Harman:
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine. Formal Aspects Comput. 12(6): 423-442 (2000) - [j15]Robert M. Hierons:
Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review). Softw. Test. Verification Reliab. 10(3): 196 (2000) - [j14]Robert M. Hierons, John Derrick:
Editorial: special issue on specification-based testing. Softw. Test. Verification Reliab. 10(4): 201-202 (2000) - [c2]Chris Fox, Mark Harman, Robert M. Hierons, Sebastian Danicic:
ConSIT: A Conditioned Program Slicer. ICSM 2000: 216-
1990 – 1999
- 1999
- [j13]Robert M. Hierons:
Minimizing the Cost of Fault Location when Testing from a Finite State Machine. Comput. Commun. 22(2): 120-127 (1999) - [j12]Robert M. Hierons:
Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.). Comput. Commun. 22(17): 1619-1620 (1999) - [j11]Robert M. Hierons:
Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review). Softw. Test. Verification Reliab. 9(1): 76-77 (1999) - [j10]Robert M. Hierons:
Editorial: What does testing tell us? Softw. Test. Verification Reliab. 9(3): 143-144 (1999) - [j9]Robert M. Hierons:
Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review). Softw. Test. Verification Reliab. 9(3): 191-193 (1999) - [j8]Robert M. Hierons, Mark Harman, Sebastian Danicic:
Using Program Slicing to Assist in the Detection of Equivalent Mutants. Softw. Test. Verification Reliab. 9(4): 233-262 (1999) - [c1]Mark Harman, Chris Fox, Robert M. Hierons, David W. Binkley, Sebastian Danicic:
Program Simplification as a Means of Approximating Undecidable Propositions. IWPC 1999: 208-217 - 1998
- [j7]Robert M. Hierons:
Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine. Comput. J. 41(5): 349-355 (1998) - [j6]Hugh Edwards, Robert M. Hierons, Bill Jackson:
The Zero-Free Intervals for Characteristic Polynomials of Matroids. Comb. Probab. Comput. 7(2): 153-165 (1998) - 1997
- [j5]Robert M. Hierons:
Testing from a Finite-State Machine: Extending Invertibility to Sequences. Comput. J. 40(4): 220-230 (1997) - [j4]Robert M. Hierons:
testing from semi-independent communicating finite state machines with a slow environment. IEE Proc. Softw. Eng. 144(5-6): 291-295 (1997) - [j3]Robert M. Hierons:
Testing from a Z Specification. Softw. Test. Verification Reliab. 7(1): 19-33 (1997) - [j2]Robert M. Hierons, Michael P. Wiper:
Estimation of Failure Rate using Random and Partition Testing. Softw. Test. Verification Reliab. 7(3): 153-164 (1997) - 1996
- [j1]Robert M. Hierons:
Extending Test Sequence Overlap by Invertibility. Comput. J. 39(4): 325-330 (1996) - 1992
- [b1]Robert M. Hierons:
Using formal specifications to enhance the software testing process. Brunel University London, UK, 1992
Coauthor Index
[c84] [j107] [j84] [j78] [j75] [c46] [e3] [j64] [j63] [j62] [j60] [j59] [j58] [j48] [j47] [j46] [j45] [j44] [c29] [c27] [j38] [j36] [j34] [j33] [c25] [c24] [c23] [c22] [c21] [j31] [j27] [c20] [c19] [c17] [c16] [c15] [c14] [j26] [c13] [c11] [c10] [c9] [c8] [c7] [c6] [j18] [c5] [c4] [c3] [j16] [c2] [j8] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
