Robert Mark Hierons
#158,199
Most Influential Person Now
Robert Mark Hierons's AcademicInfluence.com Rankings
Robert Mark Hieronscomputer-science Degrees
Computer Science
#8873
World Rank
#9327
Historical Rank
Software Engineering
#236
World Rank
#240
Historical Rank
Database
#5867
World Rank
#6085
Historical Rank

Download Badge
Computer Science
Why Is Robert Mark Hierons Influential?
(Suggest an Edit or Addition)Robert Mark Hierons's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Search Algorithms for Regression Test Case Prioritization (2007) (757)
- Using formal specifications to support testing (2009) (375)
- Testability transformation (2004) (254)
- Using program slicing to assist in the detection of equivalent mutants (1999) (238)
- Reformulating software engineering as a search problem (2003) (238)
- A multiple hill climbing approach to software module clustering (2003) (197)
- An overview of program slicing (2001) (182)
- Formulating software engineering as a search problem (2003) (172)
- How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution (2004) (169)
- A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization (2002) (168)
- Testing from a Z Specification (1997) (143)
- Smart contracts vulnerabilities: a call for blockchain software engineering? (2018) (139)
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (2009) (115)
- Do moods affect programmers’ debug performance? (2011) (103)
- Improving Evolutionary Testing By Flag Removal (2002) (99)
- Optimizing the length of checking sequences (2006) (97)
- Reduced Length Checking Sequences (2002) (92)
- Testing from a nondeterministic finite state machine using adaptive state counting (2004) (91)
- Pre/post conditioned slicing (2001) (81)
- Evolving transformation sequences using genetic algorithms (2004) (81)
- Automated Unique Input Output Sequence Generation for Conformance Testing of FSMs (2006) (75)
- Automated metamorphic testing on the analyses of feature models (2011) (73)
- SIP: Optimal Product Selection from Feature Models Using Many-Objective Evolutionary Optimization (2016) (72)
- An analysis of the relationship between conditional entropy and failed error propagation in software testing (2014) (66)
- An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models (2011) (66)
- ConSIT: a conditioned program slicer (2000) (64)
- Conditioned slicing supports partition testing (2002) (62)
- Code extraction algorithms which unify slicing and concept assignment (2002) (61)
- The relationship between program dependence and mutation analysis (2001) (59)
- 7 th European Conference on Software Maintenance and Reengineering (2003) (58)
- Mutation testing from probabilistic and stochastic finite state machines (2009) (57)
- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach (2010) (57)
- Measuring personality from keyboard and mouse use (2008) (54)
- Computing Unique Input/Output Sequences Using Genetic Algorithms (2003) (52)
- Real-Time Systems and Software (2001) (52)
- Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults (2001) (49)
- Testability Transformation - Program Transformation to Improve Testability (2008) (48)
- Avoiding coincidental correctness in boundary value analysis (2006) (47)
- Semantic Mutation Testing (2010) (47)
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine (2004) (46)
- Oracles for Distributed Testing (2012) (45)
- JPEG Steganography: A Performance Evaluation of Quantization Tables (2009) (44)
- Comparing test sets and criteria in the presence of test hypotheses and fault domains (2002) (42)
- Testing a system specified using Statecharts and Z (2001) (41)
- Using formal methods to support testing (2008) (40)
- A post-placement side-effect removal algorithm (2002) (40)
- The Effect of the Distributed Test Architecture on the Power of Testing (2008) (40)
- Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine (1998) (40)
- High Capacity Steganographic Method Based Upon JPEG (2008) (40)
- Mutation Testing from Probabilistic Finite State Machines (2007) (40)
- Implementation Relations for the Distributed Test Architecture (2008) (39)
- Search-based amorphous slicing (2005) (39)
- Backward conditioning: a new program specialisation technique and its application to program comprehension (2001) (38)
- Estimating the feasibility of transition paths in extended finite state machines (2010) (38)
- Constructing multiple unique input/output sequences using metaheuristic optimisation techniques (2005) (38)
- Testing from a stochastic timed system with a fault model (2009) (38)
- CONSIT: a fully automated conditioned program slicer (2004) (37)
- Implementation relations and test generation for systems with distributed interfaces (2012) (35)
- Squeeziness: An information theoretic measure for avoiding fault masking (2012) (35)
- Multi-objective optimisation for regression testing (2016) (35)
- Eliminating Redundant Tests in a Checking Sequence (2005) (35)
- FORTEST: formal methods and testing (2002) (35)
- UIO sequence based checking sequences for distributed test architectures (2003) (34)
- Towards estimating computer users’ mood from interaction behaviour with keyboard and mouse (2013) (34)
- VADA: a transformation-based system for variable dependence analysis (2002) (34)
- Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers (2008) (33)
- Unions of slices are not slices (2003) (33)
- Branch-Coverage Testability Transformation for Unstructured Programs (2005) (33)
- The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph (2006) (33)
- Conditions for Resolving Observability Problems in Distributed Testing (2004) (32)
- Testing from a Finite-State Machine: Extending Invertibility to Sequences (1997) (32)
- Testing Real-Time Embedded Systems using Timed Automata based approaches (2013) (30)
- On the testability of SDL specifications (2004) (30)
- Formal methods and testing: an outcome of the FORTEST network (2008) (30)
- A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM) (2009) (29)
- Extending Test Sequence Overlap by Invertibility (1996) (28)
- Automatically Generating Information from a Z Specification to Support the Classification Tree Method (2003) (27)
- Meta-heuristic Search Algorithms for Regression Test Case Prioritization (2007) (26)
- Mutation testing on an object-oriented framework: An experience report (2011) (26)
- Bounded Reordering in the Distributed Test Architecture (2018) (25)
- A trajectory-based strict semantics for program slicing (2010) (25)
- Implementation relations and probabilistic schedulers in the distributed test architecture (2017) (25)
- Using a minimal number of resets when testing from a finite state machine (2004) (25)
- Using genetic algorithms to generate test sequences for complex timed systems (2013) (25)
- Resolving Observability Problems in Distributed Test Architectures (2005) (25)
- Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms (2005) (25)
- Verdict functions in testing with a fault domain or test hypotheses (2009) (24)
- Controllable Test Cases for the Distributed Test Architecture (2008) (24)
- A methodology for validating cloud models using metamorphic testing (2015) (24)
- Unifying program slicing and concept assignment for higher‐level executable source code extraction (2005) (24)
- Checking states and transitions of a set of communicating finite state machines (2001) (24)
- Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine (2000) (24)
- Expanding an extended finite state machine to aid testability (2002) (23)
- Reaching and Distinguishing States of Distributed Systems (2010) (23)
- SIP (2016) (22)
- Search Based Transformations (2003) (22)
- Amorphous Slicing of Extended Finite State Machines (2013) (22)
- Guide for Commissioning Oral Surgery and Oral Medicine (2015) (22)
- Generating a checking sequence with a minimum number of reset transitions (2010) (21)
- Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms (2009) (21)
- SMT-C: A Semantic Mutation Testing Tools for C (2012) (21)
- Passive testing with asynchronous communications and timestamps (2018) (21)
- Amorphous procedure extraction (2004) (21)
- Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs) (2004) (20)
- Separating sequence overlap for automated test sequence generation (2006) (20)
- Applying adaptive test cases to nondeterministic implementations (2006) (20)
- Mood independent programming (2007) (20)
- Automated generation of computationally hard feature models using evolutionary algorithms (2014) (20)
- A mapping study on testing non-testable systems (2018) (18)
- Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata (2012) (18)
- Estimation of failure rate using random and partition testing (1997) (18)
- An extended framework for passive asynchronous testing (2017) (18)
- Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine (2003) (18)
- Generating Complete Controllable Test Suites for Distributed Testing (2015) (17)
- Parallel Algorithms for Testing Finite State Machines:Generating UIO Sequences (2016) (17)
- The Epileptic Driver* (1956) (17)
- Concerning the Ordering of Adaptive Test Sequences (2003) (17)
- Evolutionary testing supported by slicing and transformation (2002) (17)
- A tool supported methodology to passively test asynchronous systems with multiple users (2018) (17)
- Finding Building Blocks for Software Clustering (2003) (17)
- Conformance Testing from Message Sequence Charts (2011) (16)
- Scenarios-Based Testing of Systems with Distributed Ports (2010) (16)
- Heuristics for fault diagnosis when testing from finite state machines (2007) (16)
- Checking sequences for distributed test architectures (2008) (16)
- ConSUS: a light-weight program conditioner (2005) (16)
- Using Time to Add Order to Distributed Testing (2012) (16)
- Program simplification as a means of approximating undecidable propositions (1999) (16)
- Incomplete Distinguishing Sequences for Finite State Machines (2015) (16)
- Overcoming observability problems in distributed test architectures (2006) (16)
- Loop squashing transformations for amorphous slicing (2004) (15)
- Many-Objective Test Suite Generation for Software Product Lines (2020) (15)
- Using communication coverage criteria and partial model generation to assist software integration testing (2008) (15)
- Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (2009) (15)
- The complexity of asynchronous model based testing (2012) (14)
- An evolutionary study of fan-in and fan-out metrics in OSS (2010) (14)
- TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems (2021) (14)
- Using adaptive distinguishing sequences in checking sequence constructions (2008) (14)
- Testing Probabilistic Distributed Systems (2010) (14)
- Distinguishing Sequences for Partially Specified FSMs (2014) (14)
- Static Program Slicing Algorithms are Minimal for Free Liberal Program Schemas (2005) (14)
- Is a strategy for code smell assessment long overdue? (2010) (14)
- Testing with Inputs and Outputs in CSP (2013) (14)
- Equivalence of conservative, free, linear program schemas is decidable (2003) (13)
- Achieving communication coverage in testing (2006) (13)
- Exploring the Eradication of Code Smells: An Empirical and Theoretical Perspective (2010) (13)
- Automatic generation of test sequences form EFSM models using evolutionary algorithms (2008) (12)
- Testing timed systems modeled by Stream X-machines (2011) (12)
- 5 th IEEE International Workshop on Program Comprehension (IWPC'97) (1997) (12)
- A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems (2011) (12)
- Combining Centralised and Distributed Testing (2014) (12)
- Testing in the Distributed Test Architecture (2008) (12)
- Timed implementation relations for the distributed test architecture (2014) (12)
- Non-local Choice and Implied Scenarios (2010) (12)
- Editorial: special issue on specification‐based testing (2000) (11)
- Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets (2016) (11)
- Testing from Semi-independent Communicating Finite State Machines with a Slow Environment (1997) (11)
- Canonical finite state machines for distributed systems (2010) (11)
- An Implementation Relation and Test Framework for Timed Distributed Systems (2013) (11)
- Improving test quality using robust unique input/output circuit sequences (UIOCs) (2006) (11)
- Using Squeeziness to test component-based systems defined as Finite State Machines (2019) (11)
- Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs (2017) (11)
- Passive Testing with Asynchronous Communications (2013) (11)
- A Testability Transformation Approach for State-Based Programs (2009) (10)
- A Longitudinal Study of Fan-In and Fan-Out Coupling in Open-Source Systems (2011) (10)
- A framework for pathologies of message sequence charts (2012) (10)
- Semantic Mutation Analysis of Floating-Point Comparison (2012) (10)
- Node coarsening calculi for program slicing (2001) (10)
- Mutation Testing Using Genetic Algorithms: A Co-evolution Approach (2004) (10)
- Unifying program slicing and concept assignment for higher-level executable source code extraction: Research Articles (2005) (10)
- Implementation Relations for Testing Through Asynchronous Channels (2013) (10)
- Overcoming controllability problems in distributed testing from an input output transition system (2012) (10)
- Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports (2011) (10)
- 8 th Working Conference on Reverse Engineering (2001) (9)
- Equivalence of linear, free, liberal, structured program schemas is decidable in polynomial time (2007) (9)
- Using schedulers to test probabilistic distributed systems (2012) (9)
- Testing from Partial Finite State Machines without Harmonised Traces (2017) (9)
- Editorial: special issue on specification-based testing (2000) (9)
- A Thread-tag Based Semantics for Sequence Diagrams (2007) (9)
- FSM quasi-equivalence testing via reduction and observing absences (2019) (8)
- ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (2013) (8)
- Overcoming controllability problems with fewest channels between testers (2009) (8)
- Charcot and his visits to Britain. (1993) (8)
- Package Evolvability and its Relationship with Refactoring (2008) (8)
- Does an 80: 20 rule apply to Java coupling? (2009) (8)
- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness (2016) (8)
- Conformance Relations for Distributed Testing Based on CSP (2011) (8)
- GeTeX: A Tool for Testing Real-Time Embedded Systems Using CAN Applications (2011) (7)
- Program Analysis and Test Hypotheses Complement (2000) (7)
- A Suspension-Trace Semantics for CSP (2016) (7)
- A Test Taxonomy Applied to the Mechanics of Java Refactorings (2007) (7)
- ConSUS: A lightweight program conditioner (2005) (7)
- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing (2010) (7)
- Testing Robots Using CSP (2019) (7)
- Checking experiments for stream X-machines (2010) (6)
- Working together : Formal Methods and Testing (2003) (6)
- Programmer's mood and their performance (2006) (6)
- Moods and Programmers' Performance (2007) (6)
- Test case generation for agent-based models: A systematic literature review (2021) (6)
- A Mechanised Proof of an Adaptive State Counting Algorithm (2019) (6)
- The ‘deception’ of code smells: An empirical investigation (2010) (6)
- Normalised Squeeziness and Failed Error Propagation (2019) (6)
- Model-Based Testing for the Cloud (2010) (6)
- Constraint-Based Oracles for Timed Distributed Systems (2017) (5)
- An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria (2010) (5)
- Implementation relations and testing for cyclic systems with refusals and discrete time (2020) (5)
- Conditional-Based Refactorings and Fault-Proneness: An Empirical Study (2013) (5)
- An Empirical Study of "Removed" Classes in Java Open-Source Systems (2008) (5)
- Formal Aspects of Computing: Guest Editorial (2006) (5)
- Using status messages in the distributed test architecture (2009) (5)
- Towards a Computer Interaction-Based Mood Measurement Instrument (2008) (5)
- Improving Evolutionary Testing By Flag Removal (`best at GECCO' award winner) (2002) (5)
- Extending Stream X-Machines to Specify and Test Systems with Timeouts (2008) (5)
- Slicing algorithms are minimal for programs which can be expressed as linear, free, liberal schemas (2005) (5)
- Machine learning. Tom M. Mitchell. Published by McGraw-Hill, Maidenhead, U.K., International Student Edition, 1997. ISBN: 0-07-115467-1, 414 pages. Price: U.K. £22.99, soft cover. (1999) (5)
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine (2008) (4)
- Towards a Computer Interaction-Based Mood Measure Instrument (2008) (4)
- Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas (2007) (4)
- Towards a Maturity Model for Empirical Studies of Software Testing (1999) (4)
- Controllability Through Nondeterminism in Distributed Testing (2016) (4)
- Thread-Based Analysis of Sequence Diagrams (2007) (4)
- Applications of linear program schematology in dependence analysis (2004) (4)
- Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints (2020) (4)
- Specification based testing (2000) (4)
- Minimizing the Cost of Fault Location when Testing from a Finite State Machine (1999) (4)
- Inputs and Outputs in CSP (2020) (4)
- $\mathcal K$K-Branching UIO Sequences for Partially Specified Observable Non-Deterministic FSMs (2021) (4)
- Mutation Testing (2010) (4)
- Testing Causality in Scientific Modelling Software (2022) (4)
- Testing of Communicating Systems (2004) (3)
- Creating adaptive sequences with genetic algorithms to reach a certain state in a non-deterministic FSM (2011) (3)
- Refactoring test suites versus test behaviour: a TTCN-3 perspective (2007) (3)
- Reducing the cost of applying adaptive test cases (2007) (3)
- Bayesian inference and optimal release times: for two software failure models (1998) (3)
- 10421 Summary - Model-Based Testing in Practice (2010) (3)
- Decidability and Complexity for Quiescent Consistency (2016) (3)
- A More Precise Implementation Relation for Distributed Testing (2015) (3)
- 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 (2006) (3)
- The precursor to an industrial software metrics program (2008) (3)
- The Zero-Free Intervals for Characteristic Polynomials of Matroids (1998) (3)
- Controllability Problems in MSC-Based Testing (2012) (3)
- Heuristics for fault diagnosis when testing from finite state machines: Research Articles (2007) (3)
- Inputs and outputs in CSP: a model and a testing theory (2020) (3)
- Using mutual information to test from Finite State Machines: Test suite selection (2021) (3)
- Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces (2013) (3)
- GECCO 2002: Proceedings of the Genetic and Evolutionary (2002) (3)
- Efficient state synchronisation in model-based testing through reinforcement learning (2021) (3)
- Distinguishing Sequences for Distributed Testing: Adaptive Distinguishing Sequences (2016) (3)
- Using formal specifications to enhance the software testing process (1992) (3)
- The dreaded desk reject (2016) (2)
- Testing in the Distributed Test Architecture: An Extended Abstract (2008) (2)
- An information theoretic notion of software testability (2021) (2)
- A partial oracle for uniformity statistics (2019) (2)
- Experimental Comparison of Different Techniques to Generate Adaptive Sequences (2011) (2)
- IEEE ICSE International Workshop on Automated Program Analysis, Testing and Verification (2000) (2)
- The Oracle Problem When Testing from MSCs (2014) (2)
- Hardness of Deriving Invertible Sequences from Finite State Machines (2017) (2)
- Editorial (1906) (2)
- A Test Framework for Communications-Critical Large-Scale Systems (2015) (2)
- Correction to "Reduced Length Checking Sequences" [Sep 02 93-99] (2009) (2)
- A flexible environment to evaluate state-based test techniques (2004) (2)
- Distinguishing Sequences for Distributed Testing: Preset Distinguishing Sequences (2016) (2)
- Complexity of Data Dependence Problems for Program Schemas with Concurrency (2010) (2)
- Testing of communicating systems : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004 : proceedings (2004) (2)
- Editorial: Validating our findings (2005) (2)
- Reformulating software engineering as a search (2003) (2)
- Formal methods and testing: outcome of the fortest network on formal methods and testing : revised selected papers (2008) (2)
- On the computational complexity of dynamic slicing problems for program schemas (2011) (2)
- Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas (2011) (1)
- Testability Transformation : Program Transformation to Improve Testability An Overview of Recent Results (2008) (1)
- Equivalence of conservative, free, linear programs is decidable (2003) (1)
- A search-based technique for testing from extended finite state machine model (2009) (1)
- Testing using CSP Models: Time, Inputs, and Outputs (2022) (1)
- Using partial models to support the testing of distributed systems (2007) (1)
- Editorial: Testing in the large through the small? (2003) (1)
- Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review) (1999) (1)
- On automation in software engineering (2020) (1)
- Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings (2019) (1)
- Software Engineering and Formal Methods (2013) (1)
- Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics (2021) (1)
- K -branching UIO sequences for partially specified observable non-deterministic FSMs (2020) (1)
- Issue Information (2016) (1)
- Local Observability and Controllability Enforcement in Distributed Testing (2019) (1)
- A new test framework for communications-critical large scale systems (1)
- Testing Object-Oriented Software: Life-Cycle Solutions. By Imran Bashir and Amrit L. Goel. Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 0-387-98896-3, 209 pages. Price: U.K. £37, U.S.A. $54.95, Germany DM 108, Hard Cover. (2000) (1)
- Test and Production Classes of an Industrial C# System: A Refactoring and Fault Perspective (2015) (1)
- Concerning the death of Queen Caroline. (1952) (1)
- Passive testing with asynchronous communications and timestamps (2017) (1)
- Integrating Graphical and Natural Language Specifications to Support Analysis and Testing (2017) (1)
- Four-valued monitorability of ω-regular languages (2020) (1)
- Adaptive or embedded software testing and mutation testing (2021) (1)
- Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410 (2006) (1)
- Practitioner-based measurement: a collaborative approach (2010) (1)
- Correct systems: building a business process solution. By Mike Holcombe and Florentin Ipate. Published by Springer‐Verlag, Berlin, Germany, Applied Computing Series 1998. ISBN: 3‐540‐76246‐9, 206 pages. Price: U.K. £24.50, U.S.A. $49.95, Germany DM 79.00, Soft Cover. (1999) (1)
- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (2013) (1)
- Editorial: Formal methods and testing (2002) (1)
- Decidability and complexity for quiescent consistency and its variations (2015) (1)
- Working Across Boundaries (2020) (0)
- Introduction to the Software Engineering and Formal Methods 2013 special issue (2017) (0)
- Towards a Maturity Model for Empiri al Studies ofSoftware (1999) (0)
- Proceedings of the 11th International Conference on Software Engineering and Formal Methods - Volume 8137 (2013) (0)
- Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Published by Springer-Verlag, Heidelberg, Germany, 2005. ISBN: 3-540-21871-8, pp 410: Book Reviews (2006) (0)
- Issue Information (2017) (0)
- Property generation/verification and empirical studies (2021) (0)
- 26 th IEEE Annual Computer Software and Applications Conference (COMPSAC 2002) (2002) (0)
- Guest Editorial (2007) (0)
- 11 th IEEE Working Conference on Reverse Engineering (2004) (0)
- Issue Information (2016) (0)
- Proceedings of the Third International ERCIM Symposium on Software Evolution ( Software Evolution 2007 ) Package Evolvability and its Relationship with Refactoring (2008) (0)
- Digital-twin-based testing for cyber-physical systems: A systematic literature review (2022) (0)
- How to manage a conference special issue (2017) (0)
- 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 (2006) (0)
- Introduction to the Software Engineering and Formal Methods 2013 special issue (2015) (0)
- Issue Information (2017) (0)
- Introduction by the Program Chairs (2008) (0)
- Editorial: Verification, reliability and performance (2021) (0)
- Peer Reviewing in Software Engineering (2020) (0)
- Model checking, testing and debugging (2021) (0)
- Issue Information (2016) (0)
- Software testing in the United Kingdom (2004) (0)
- Software integration testing based on communication coverage criteria and partial model generation (2008) (0)
- Issue Information (2021) (0)
- Farewell after an 11‐year journey as joint editor‐in‐chief (2022) (0)
- Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.) (1999) (0)
- Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review) (2000) (0)
- A mapping study on testing non-testable systems (2017) (0)
- 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: Book Reviews (2006) (0)
- Papilloedema not needing neurosurgery. (1970) (0)
- 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 (2001) (0)
- Issue Information (2016) (0)
- ICST 2008 Special Issue (2011) (0)
- Four-Valued Monitorability of ømega-Regular Languages (2020) (0)
- 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. pp. 208: Book Reviews (2005) (0)
- Issue Information (2018) (0)
- Book review: Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.); London: Chapman & Hall, 1997, 452 pp., ISBN 0-412-81730-6 (1999) (0)
- Issue Information (2018) (0)
- The world changes (2019) (0)
- Special issue on testing, analysis and debugging of concurrent programs (2015) (0)
- An Implementation Relation for Cyclic Systems with Refusals and Discrete Time (2019) (0)
- Practitioner-based measurement: a collaborative software measurement approach (2008) (0)
- Code Extra tion Algorithms whi h Unify Sli ing and Con (2002) (0)
- Medical impressions of Paris. (1947) (0)
- Dagstuhl Seminar 10421 Model-Based Testing in Practice October 18 – 22 , 2010 (2011) (0)
- Book Reviews (2003) (0)
- Issue Information (2021) (0)
- Guest Editorial: Special Section from the 11th International Conference on Quality Software (QSIC 2011) (2013) (0)
- 3 rd International Conference of B and Z Users (ZB2003) (2003) (0)
- Editorial (1999) (0)
- A methodology for validating cloud models using metamorphic testing (2014) (0)
- Issue Information (2017) (0)
- Issue Information (2021) (0)
- Mutation Testing for RoboChart (2020) (0)
- Editorial: What does testing tell us? (1999) (0)
- Editorial: Software testing in the United Kingdom (2004) (0)
- Issue Information (2017) (0)
- Peer Reviewing in Software Engineering (2021) (0)
- Implementation relations and testing for cyclic systems: Adding probabilities (2023) (0)
- Reliable counterparts: efficiently testing causal relationships in digital twins (2022) (0)
- Timed implementation relations for the distributed test architecture (2014) (0)
- Nocturnal acroparaesthesia and its treatment by night splinting. (1959) (0)
- An Analysis of the Relationship between Information Squeeziness and Failed Error Propagation in Software Testing 8 October 2013 (2013) (0)
- Editorial: Validating our findings: Editorials (2005) (0)
- Using genetic algorithms to generate test sequences for complex timed systems (2012) (0)
- Model Based Test Automation through Asynchronous Channels (2012) (0)
- Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (2006) (0)
- Issue Information (2016) (0)
- Testing of Communicating Systems (2004) (0)
- Guest Editorial (2006) (0)
- Metamorphic testing and test automation (2022) (0)
- Issue Information (2018) (0)
- Issue Information (2018) (0)
- Simulation Relations for Systems with Distributed Interfaces (2009) (0)
- Editorial: Addressing industrial challenges—UKTest 2005 and beyond: Editorials (2006) (0)
- 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 (2005) (0)
- Guest Editorial: Special Section on ICTSS (2020) (0)
- 3rd International Workshop on Formal Approaches to Testing of Software (FATES 2003) (2003) (0)
- Editorial: Testing, Debugging, and Defect Prediction (2021) (0)
- Editorial: Software testing in the United Kingdom: Editorials (2004) (0)
- Combinatorial testing and model‐based testing (2022) (0)
- Book Reviews (2004) (0)
- Modelling Second-Order Uncertainty in State Machines (2023) (0)
- Issue Information (2018) (0)
- Medical impressions of Paris. (1947) (0)
- A Tribute to Martin Woodward (2006) (0)
- Are 20% of Classes Responsible for 80% of Refactorings? (2021) (0)
- Model-Based Testing in Practice — Dagstuhl Seminar — (2011) (0)
- Message from the chairs - 1st IEEE International Workshop on Blockchain Oriented Software Engineering, IWBOSE 2018 (2018) (0)
- Editorial: Addressing industrial challenges—UKTest 2005 and beyond (2006) (0)
- Trading Pre ision for Speed in Sli ingSebastian (2007) (0)
- FORTEST: Formal Methods and Testing (joint panel paper) (2002) (0)
- QSIC 2011 Committees (2011) (0)
- Special Issue of papers from UK Testing Workshop (2004) (0)
- Checking Finite State Machine Conformance when there are Distributed Observations (2011) (0)
- Special section of Tests and Proofs 2016 (2018) (0)
- Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings (2018) (0)
- Special section of Tests and Proofs 2016 (2018) (0)
- Issue Information (2016) (0)
- Issue Information (2016) (0)
- Using schedulers to test probabilistic distributed systems (2012) (0)
- Algorithms to Reach a Certain State in a Non-Deterministi c FSM (2011) (0)
- A Meta-analysis Approach to Refactoring and XP (2007) (0)
- 10421 Abstracts Collection - Model-Based Testing in Practice (2010) (0)
- Program Simpli ation as a Means of Approximating Unde idable Propositions (2019) (0)
- Implementation relations and test generation for systems with distributed interfaces (2011) (0)
- Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review) (1999) (0)
- Conference Virtualization (2020) (0)
- OS expansion (2019) (0)
- Special Issue on Formal Approaches to Software Testing (2006) (0)
- Issue Information (2017) (0)
- Overcoming controllability problems in distributed testing from an input output transition system (2011) (0)
- A Tribute to Martin Woodward: Tributes (2006) (0)
- Generating Minimum Height ADSs for Partially Specified Finite State Machines (2015) (0)
- 1 Automatic Generation of Test Sequences form EFSM Models Using Evolutionary Algorithms (2010) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Robert Mark Hierons?
Robert Mark Hierons is affiliated with the following schools: