Inductive Inference and Software Testing. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (Softw. Test. Verification Reliab., 1992)

Injecting Faults into Environment Simulators for Testing Safety Critical Software. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May; T. Cockram (EDCC, 1994)

Knowledge engineering helps testing protection software. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (SEKE, 1994)

Reliability estimation from appropriate testing of plant protection software. - John H. R. May; Gordon Hughes; A. D. Lunn (Softw. Eng. J., 1995)

New Statistics for Demand-Based Software Testing. - John H. R. May; A. D. Lunn (Inf. Process. Lett., 1995)

A Model of Code Sharing for Estimating Software Failure on Demand Probabilities. - John H. R. May; A. D. Lunn (IEEE Trans. Software Eng., 1995)

Software Unit Test Coverage and Adequacy. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (ACM Comput. Surv., 1997)

Building a system failure rate estimator by identifying component failure rates. - Silke Kuball; John H. R. May; Gordon Hughes (ISSRE, 1999)

Structural Software Reliability Estimation. - Silke Kuball; John H. R. May; Gordon Hughes (SAFECOMP, 1999)

A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. - Luping Chen; John H. R. May; Gordon Hughes (SAFECOMP, 2000)

Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. - John Napier; John H. R. May; Gordon Hughes (SAFECOMP, 2000)

Estimation of Software Diversity by Fault Simulation and Failure Searching. - Luping Chen; John H. R. May; Gordon Hughes (ISSRE, 2001)

The Effectiveness of Statistical Testing when Applied to Logic Systems. - Silke Kuball; Gordon Hughes; John H. R. May; Julio Gallardo; Andrew D. John; Roy B. Carter (SAFECOMP, 2001)

Using Influence Diagrams to Aid the Management of Software Change. - Colin J. Burgess; Ilesh Dattani; Gordon Hughes; John H. R. May; Kearton Rees (Requir. Eng., 2001)

Assessment of the Benefit of Redundant Systems. - Luping Chen; John H. R. May; Gordon Hughes (SAFECOMP, 2002)

Estimating Bounds on the Reliability of Diverse Systems. - Peter T. Popov; Lorenzo Strigini; John H. R. May; Silke Kuball (IEEE Trans. Software Eng., 2003)

Methods for Enhancing Safety Wrapper Design. - Luping Chen; John H. R. May (GI Jahrestagung (1), 2004)

Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. - Silke Kuball; John H. R. May (ISSRE, 2004)

Safety Assessment of Systems Embedded with COTS Components by PIP technique. - Luping Chen; John H. R. May (SOQUA/TECOS, 2004)

New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers . - Luping Chen; John H. R. May (ICSOFT (SE), 2007)

A Diversity Model Based on Failure Distribution and its Application in Safety Cases. - Luping Chen; John H. R. May (IEEE Trans. Reliab., 2016)

Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests. - Luping Chen; John H. R. May (QRS Companion, 2017)