 | 2009 |
|---|
| 121 |       | 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 |
| 120 | | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul Krause,
Gerald Lüttgen,
Anthony J. H. Simons,
Sergiy A. Vilkomir,
Martin R. Woodward,
Hussein Zedan:
Using formal specifications to support testing.
ACM Comput. Surv. 41(2): (2009) |
| 119 | | Robert M. Hierons:
Verdict functions in testing with a fault domain or test hypotheses.
ACM Trans. Softw. Eng. Methodol. 18(4): (2009) |
| 118 | | Robert M. Hierons,
Hasan Ural:
Overcoming controllability problems with fewest channels between testers.
Computer Networks 53(5): 680-690 (2009) |
| 117 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Testing from a stochastic timed system with a fault model.
J. Log. Algebr. Program. 78(2): 98-115 (2009) |
| 2008 |
|---|
| 116 |  | Robert M. Hierons,
Jonathan P. Bowen,
Mark Harman:
Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers
Springer 2008 |
| 115 | | Adel Almohammad,
Robert M. Hierons,
Gheorghita Ghinea:
High Capacity Steganographic Method Based Upon JPEG.
ARES 2008: 544-549 |
| 114 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Controllable Test Cases for the Distributed Test Architecture.
ATVA 2008: 201-215 |
| 113 | | Jessica Chen,
Robert M. Hierons,
Hasan Ural:
Testing in the Distributed Test Architecture.
Formal Methods and Testing 2008: 157-183 |
| 112 | | Mark Harman,
André Baresel,
David 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 |
| 111 | | Robert M. Hierons:
Testing in the Distributed Test Architecture: An Extended Abstract.
QSIC 2008: 11-14 |
| 110 | | Robert M. Hierons,
Guy-Vincent Jourdan,
Hasan Ural,
Hüsnü Yenigün:
Using adaptive distinguishing sequences in checking sequence constructions.
SAC 2008: 682-687 |
| 109 | | Mercedes G. Merayo,
Robert M. Hierons,
Manuel Núñez:
Extending Stream X-Machines to Specify and Test Systems with Timeouts.
SEFM 2008: 201-210 |
| 108 | | Robert M. Hierons,
Mercedes G. Merayo,
Manuel Núñez:
Implementation Relations for the Distributed Test Architecture.
TestCom/FATES 2008: 200-215 |
| 107 | | Robert M. Hierons,
Hasan Ural:
The Effect of the Distributed Test Architecture on the Power of Testing.
Comput. J. 51(4): 497-510 (2008) |
| 106 | | Robert M. Hierons,
Hasan Ural:
Checking sequences for distributed test architectures.
Distributed Computing 21(3): 223-238 (2008) |
| 105 | | Robert M. Hierons,
Florentin Ipate:
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine.
Formal Asp. Comput. 20(6): 597-617 (2008) |
| 104 | | Christopher Robinson-Mallett,
Robert M. Hierons,
Jesse H. Poore,
Peter Liggesmeyer:
Using communication coverage criteria and partial model generation to assist software integration testing.
Software Quality Journal 16(2): 185-211 (2008) |
| 2007 |
|---|
| 103 | | Steve Counsell,
Robert M. Hierons,
George Loizou:
A Meta-analysis Approach to Refactoring and XP.
AICCSA 2007: 67-75 |
| 102 | | Iftikhar Ahmed Khan,
Robert M. Hierons,
Willem-Paul Brinkman:
Mood independent programming.
ECCE 2007: 269-272 |
| 101 | | Haitao Dan,
Robert M. Hierons,
Steve Counsell:
Thread-Based Analysis of Sequence Diagrams.
FORTE 2007: 19-34 |
| 100 | | Steve Counsell,
Stephen Swift,
Robert M. Hierons:
A Test Taxonomy Applied to the Mechanics of Java Refactorings.
SCSS (1) 2007: 497-502 |
| 99 | | Haitao Dan,
Robert M. Hierons,
Steve Counsell:
A Thread-tag Based Semantics for Sequence Diagrams.
SEFM 2007: 173-182 |
| 98 | | Steve Counsell,
Robert M. Hierons:
Refactoring test suites versus test behaviour: a TTCN-3 perspective.
SOQUA 2007: 31-38 |
| 97 | | Robert M. Hierons,
Hasan Ural:
Reducing the cost of applying adaptive test cases.
Computer Networks 51(1): 224-238 (2007) |
| 96 | | Asma Mubarak,
Steve Counsell,
Robert M. Hierons,
Youssef Hassoun:
Package Evolvability and its Relationship with Refactoring.
ECEASST 8: (2007) |
| 95 | | Zheng Li,
Mark Harman,
Robert M. Hierons:
Search Algorithms for Regression Test Case Prioritization.
IEEE Trans. Software Eng. 33(4): 225-237 (2007) |
| 94 | | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Heuristics for fault diagnosis when testing from finite state machines.
Softw. Test., Verif. Reliab. 17(1): 41-57 (2007) |
| 93 | | 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) |
| 2006 |
|---|
| 92 | | 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 |
| 91 | | 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 |
| 90 | | Christopher Robinson-Mallett,
Robert M. Hierons,
Peter Liggesmeyer:
Achieving communication coverage in testing.
ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006) |
| 89 | | Robert M. Hierons:
Avoiding coincidental correctness in boundary value analysis.
ACM Trans. Softw. Eng. Methodol. 15(3): 227-241 (2006) |
| 88 | | Robert M. Hierons:
Separating sequence overlap for automated test sequence generation.
Autom. Softw. Eng. 13(2): 283-301 (2006) |
| 87 | | 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) |
| 86 | | John Derrick,
Mark Harman,
Robert M. Hierons:
Guest Editorial.
Formal Asp. Comput. 18(1): 1-2 (2006) |
| 85 | | Robert M. Hierons,
Hasan Ural:
Optimizing the Length of Checking Sequences.
IEEE Trans. Computers 55(5): 618-629 (2006) |
| 84 | | Robert M. Hierons:
Applying adaptive test cases to nondeterministic implementations.
Inf. Process. Lett. 98(2): 56-60 (2006) |
| 83 | | Jessica Chen,
Robert M. Hierons,
Hasan Ural:
Overcoming observability problems in distributed test architectures.
Inf. Process. Lett. 98(5): 177-182 (2006) |
| 82 | | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Improving test quality using robust unique input/output circuit sequences (UIOCs).
Information & Software Technology 48(8): 696-707 (2006) |
| 81 | | 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., Verif. Reliab. 16(1): 61 (2006) |
| 80 | | Phil McMinn,
Robert M. Hierons:
Editorial: Addressing industrial challenges - UKTest 2005 and beyond.
Softw. Test., Verif. Reliab. 16(3): 131-132 (2006) |
| 79 | | Lee White,
Jeff Offutt,
Derek Yates,
Robert M. Hierons,
Michael A. Hennell,
Peter Mitchell:
A Tribute to Martin Woodward.
Softw. Test., Verif. Reliab. 16(4): 209-211 (2006) |
| 78 | | 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., Verif. Reliab. 16(4): 289-290 (2006) |
| 2005 |
|---|
| 77 | | Jessica Chen,
Robert M. Hierons,
Hasan Ural:
Resolving Observability Problems in Distributed Test Architectures.
FORTE 2005: 219-232 |
| 76 | | 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 |
| 75 | | Jessica Chen,
Robert M. Hierons,
Hasan Ural,
Hüsnü Yenigün:
Eliminating Redundant Tests in a Checking Sequence.
TestCom 2005: 146-158 |
| 74 | | Deji Fatiregun,
Mark Harman,
Robert M. Hierons:
Search-Based Amorphous Slicing.
WCRE 2005: 3-12 |
| 73 | | Robert M. Hierons,
Mark Harman,
Chris Fox:
Branch-Coverage Testability Transformation for Unstructured Programs.
Comput. J. 48(4): 421-436 (2005) |
| 72 | | 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) |
| 71 | | Sebastian Danicic,
Mohammed Daoudi,
Chris Fox,
Mark Harman,
Robert M. Hierons,
John Howroyd,
Lahcen Ouarbya,
Martin P. Ward:
ConSUS: a light-weight program conditioner.
Journal of Systems and Software 77(3): 241-262 (2005) |
| 70 | | 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., Verif. Reliab. 15(2): 135-136 (2005) |
| 69 | | Robert M. Hierons:
Editorial: Validating our findings.
Softw. Test., Verif. Reliab. 15(4): 209-210 (2005) |
| 68 | | Nicolas E. Gold,
Mark Harman,
David Binkley,
Robert M. Hierons:
Unifying program slicing and concept assignment for higher-level executable source code extraction.
Softw., Pract. Exper. 35(10): 977-1006 (2005) |
| 2004 |
|---|
| 67 | | Roland Groz,
Robert M. Hierons:
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings
Springer 2004 |
| 66 | | Jessica Chen,
Robert M. Hierons,
Hasan Ural:
Conditions for Resolving Observability Problems in Distributed Testing.
FORTE 2004: 229-242 |
| 65 | | 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 |
| 64 | | 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 |
| 63 | | Deji Fatiregun,
Mark Harman,
Robert M. Hierons:
Evolving Transformation Sequences using Genetic Algorithms.
SCAM 2004: 66-75 |
| 62 | | Mark Harman,
David Binkley,
Ranjit Singh,
Robert M. Hierons:
Amorphous Procedure Extraction.
SCAM 2004: 85-94 |
| 61 | | Lin Hu,
Mark Harman,
Robert M. Hierons,
David Binkley:
Loop Squashing Transformations for Amorphous Slicing.
WCRE 2004: 152-160 |
| 60 | | Robert M. Hierons:
A flexible environment to evaluate state-based test techniques.
ACM SIGSOFT Software Engineering Notes 29(5): 1-3 (2004) |
| 59 | | Robert M. Hierons,
T.-H. Kim,
Hasan Ural:
On the testability of SDL specifications.
Computer Networks 44(5): 681-700 (2004) |
| 58 | | Robert M. Hierons:
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting.
IEEE Trans. Computers 53(10): 1330-1342 (2004) |
| 57 | | 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) |
| 56 | | Robert M. Hierons:
Using a minimal number of resets when testing from a finite state machine.
Inf. Process. Lett. 90(6): 287-292 (2004) |
| 55 | | Robert M. Hierons:
Book Reviews.
Softw. Test., Verif. Reliab. 14(1): 72-73 (2004) |
| 54 | | John A. Clark,
Mark Harman,
Robert M. Hierons:
Editorial: Software testing in the United Kingdom.
Softw. Test., Verif. Reliab. 14(3): 165-166 (2004) |
| 53 | | Chris Fox,
Sebastian Danicic,
Mark Harman,
Robert M. Hierons:
ConSIT: a fully automated conditioned program slicer.
Softw., Pract. Exper. 34(1): 15-46 (2004) |
| 52 | | 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) |
| 2003 |
|---|
| 51 | | Andrea De Lucia,
Mark Harman,
Robert M. Hierons,
Jens Krinke:
Unions of Slices Are Not Slices.
CSMR 2003: 363-367 |
| 50 | | Qiang Guo,
Robert M. Hierons,
Mark Harman,
Karnig Derderian:
Computing Unique Input/Output Sequences Using Genetic Algorithms.
FATES 2003: 164-177 |
| 49 | | Robert M. Hierons,
Hasan Ural:
Concerning the Ordering of Adaptive Test Sequences.
FORTE 2003: 289-302 |
| 48 | | Deji Fatiregun,
Mark Harman,
Robert M. Hierons:
Search Based Transformations.
GECCO 2003: 2511-2512 |
| 47 | | Kiarash Mahdavi,
Mark Harman,
Robert M. Hierons:
Finding Building Blocks for Software Clustering.
GECCO 2003: 2513-2514 |
| 46 | | Kiarash Mahdavi,
Mark Harman,
Robert M. Hierons:
A Multiple Hill Climbing Approach to Software Module Clustering.
ICSM 2003: 315-324 |
| 45 | | Robert M. Hierons,
Mark Harman,
Harbhajan Singh:
Automatically Generating Information from a Z Specification to Support the Classification Tree Method.
ZB 2003: 388-407 |
| 44 | | Robert M. Hierons:
Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine.
Comput. J. 46(3): 307-318 (2003) |
| 43 | | 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 Proceedings - Software 150(3): 161-175 (2003) |
| 42 | | Robert M. Hierons,
Hasan Ural:
UIO sequence based checking sequences for distributed test architectures.
Information & Software Technology 45(12): 793-803 (2003) |
| 41 | | Robert M. Hierons:
Editorial: Testing in the large through the small?
Softw. Test., Verif. Reliab. 13(3): 139-140 (2003) |
| 40 | | Robert M. Hierons:
Book Reviews.
Softw. Test., Verif. Reliab. 13(3): 197-198 (2003) |
| 39 | | 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) |
| 2002 |
|---|
| 38 | | Robert M. Hierons,
T.-H. Kim,
Hasan Ural:
Expanding an Extended Finite State Machine to aid Testability.
COMPSAC 2002: 334-342 |
| 37 | | Jonathan P. Bowen,
Kirill Bogdanov,
John A. Clark,
Mark Harman,
Robert M. Hierons,
Paul Krause:
FORTEST: Formal Methods and Testing.
COMPSAC 2002: 91-104 |
| 36 | | Mark Harman,
Robert M. Hierons,
Mark Proctor:
A New Representation And Crossover Operator For Search-based Optimization Of Software Modularization.
GECCO 2002: 1351-1358 |
| 35 | | Mark Harman,
Lin Hu,
Robert M. Hierons,
André Baresel,
Harmen Sthamer:
Improving Evolutionary Testing By Flag Removal.
GECCO 2002: 1359-1366 |
| 34 | | 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 |
| 33 | | 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 |
| 32 | | 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 |
| 31 | | Mark Harman,
Nicolas Gold,
Robert M. Hierons,
David Binkley:
Code Extraction Algorithms which Unify Slicing and Concept Assignment.
WCRE 2002: 11-21 |
| 30 | | 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) |
| 29 | | Robert M. Hierons,
Hasan Ural:
Reduced Length Checking Sequences.
IEEE Trans. Computers 51(9): 1111-1117 (2002) |
| 28 | | Robert M. Hierons,
Mark Harman,
Chris Fox,
Lahcen Ouarbya,
Mohammed Daoudi:
Conditioned slicing supports partition testing.
Softw. Test., Verif. Reliab. 12(1): 23-28 (2002) |
| 27 | | Robert M. Hierons:
Editorial: Formal methods and testing.
Softw. Test., Verif. Reliab. 12(2): 69-70 (2002) |
| 2001 |
|---|
| 26 | | Mark Harman,
Robert M. Hierons,
Chris Fox,
Sebastian Danicic,
John Howroyd:
Pre/Post Conditioned Slicing.
ICSM 2001: 138-147 |
| 25 | | 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 |
| 24 | | Mark Harman,
Robert M. Hierons,
Sebastian Danicic,
John Howroyd,
Michael R. Laurence,
Chris Fox:
Node Coarsening Calculi for Program Slicing.
WCRE 2001: 25-34 |
| 23 | | Robert M. Hierons,
Sadegh Sadeghipour,
Harbhajan Singh:
Testing a system specified using Statecharts and Z.
Information & Software Technology 43(2): 137-149 (2001) |
| 22 | | Robert M. Hierons:
Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults.
Information & Software Technology 43(9): 551-560 (2001) |
| 21 | | 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., Verif. Reliab. 11(3): 197-198 (2001) |
| 20 | | Robert M. Hierons:
Real-Time Systems and Software.
Software Focus 2(2): 81 (2001) |
| 19 | | Mark Harman,
Robert M. Hierons:
An overview of program slicing.
Software Focus 2(3): 85-92 (2001) |
| 2000 |
|---|
| 18 | | Chris Fox,
Mark Harman,
Robert M. Hierons,
Sebastian Danicic:
ConSIT: A Conditioned Program Slicer.
ICSM 2000: 216- |
| 17 | | Robert M. Hierons,
Mark Harman:
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine.
Formal Asp. Comput. 12(6): 423-442 (2000) |
| 16 | | Robert M. Hierons:
Testing Object-Oriented Software: Life-Cycle Solutions, Imran Bashir and Amrit L. Goel, Springer-Verlag, 2000 (Book Review).
Softw. Test., Verif. Reliab. 10(3): 196 (2000) |
| 15 | | Robert M. Hierons,
John Derrick:
Editorial: special issue on specification-based testing.
Softw. Test., Verif. Reliab. 10(4): 201-202 (2000) |
| 1999 |
|---|
| 14 | | Mark Harman,
Chris Fox,
Robert M. Hierons,
David Binkley,
Sebastian Danicic:
Program Simplification as a Means of Approximating Undecidable Propositions.
IWPC 1999: 208-217 |
| 13 | | Robert M. Hierons:
Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.).
Computer Communications 22(17): 1619-1620 (1999) |
| 12 | | Robert M. Hierons:
Minimizing the Cost of Fault Location when Testing from a Finite State Machine.
Computer Communications 22(2): 120-127 (1999) |
| 11 | | Robert M. Hierons:
Correct Systems: Building a Business Process Solution, by Mike Holcombe and Florentin Ipate, Springer-Verlag, 1998 (Book Review).
Softw. Test., Verif. Reliab. 9(1): 76-77 (1999) |
| 10 | | Robert M. Hierons:
Editorial: What does testing tell us?
Softw. Test., Verif. Reliab. 9(3): 143-144 (1999) |
| 9 | | Robert M. Hierons:
Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).
Softw. Test., Verif. Reliab. 9(3): 191-193 (1999) |
| 8 | | Robert M. Hierons,
Mark Harman,
Sebastian Danicic:
Using Program Slicing to Assist in the Detection of Equivalent Mutants.
Softw. Test., Verif. Reliab. 9(4): 233-262 (1999) |
| 1998 |
|---|
| 7 | | Hugh Edwards,
Robert M. Hierons,
Bill Jackson:
The Zero-Free Intervals for Characteristic Polynomials of Matroids.
Combinatorics, Probability & Computing 7(2): 153-165 (1998) |
| 6 | | Robert M. Hierons:
Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine.
Comput. J. 41(5): 349-355 (1998) |
| 1997 |
|---|
| 5 | | Robert M. Hierons:
Testing from a Finite-State Machine: Extending Invertibility to Sequences.
Comput. J. 40(4): 220-230 (1997) |
| 4 | | Robert M. Hierons:
testing from semi-independent communicating finite state machines with a slow environment.
IEE Proceedings - Software 144(5-6): 291-295 (1997) |
| 3 | | Robert M. Hierons:
Testing from a Z Specification.
Softw. Test., Verif. Reliab. 7(1): 19-33 (1997) |
| 2 | | Robert M. Hierons,
Michael P. Wiper:
Estimation of Failure Rate using Random and Partition Testing.
Softw. Test., Verif. Reliab. 7(3): 153-164 (1997) |
| 1996 |
|---|
| 1 | | Robert M. Hierons:
Extending Test Sequence Overlap by Invertibility.
Comput. J. 39(4): 325-330 (1996) |
