John H. R. May

Publication Activity (10 Years)

Years Active: 1992-2017
Publications (10 Years): 2

Top Topics

Failure Prediction

Spatial Distribution

Top Venues

IEEE Trans. Reliab.

Publications

Luping Chen, John H. R. May
Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests. QRS Companion (2017)
Luping Chen, John H. R. May
A Diversity Model Based on Failure Distribution and its Application in Safety Cases. IEEE Trans. Reliab. 65 (3) (2016)
Luping Chen, John H. R. May
A Diversity Model Based on Failure Distribution and Its Application in Safety Cases. SERE (2014)
Luping Chen, John H. R. May
New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers . ICSOFT (SE) (2007)
Luping Chen, John H. R. May
Safety Assessment of Systems Embedded with COTS Components by PIP technique. SOQUA/TECOS (2004)
Silke Kuball, John H. R. May
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. ISSRE (2004)
Luping Chen, John H. R. May
Methods for Enhancing Safety Wrapper Design. GI Jahrestagung (1) (2004)
Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball
Estimating Bounds on the Reliability of Diverse Systems. IEEE Trans. Software Eng. 29 (4) (2003)
Luping Chen, John H. R. May, Gordon Hughes
Assessment of the Benefit of Redundant Systems. SAFECOMP (2002)
Luping Chen, John H. R. May, Gordon Hughes
Estimation of Software Diversity by Fault Simulation and Failure Searching. ISSRE (2001)
Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter
The Effectiveness of Statistical Testing when Applied to Logic Systems. SAFECOMP (2001)
Colin J. Burgess, Ilesh Dattani, Gordon Hughes, John H. R. May, Kearton Rees
Using Influence Diagrams to Aid the Management of Software Change. Requir. Eng. 6 (3) (2001)
John Napier, John H. R. May, Gordon Hughes
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection. SAFECOMP (2000)
Luping Chen, John H. R. May, Gordon Hughes
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software. SAFECOMP (2000)
Silke Kuball, John H. R. May, Gordon Hughes
Building a system failure rate estimator by identifying component failure rates. ISSRE (1999)
Silke Kuball, John H. R. May, Gordon Hughes
Structural Software Reliability Estimation. SAFECOMP (1999)
Hong Zhu, Patrick A. V. Hall, John H. R. May
Software Unit Test Coverage and Adequacy. ACM Comput. Surv. 29 (4) (1997)
John H. R. May, A. D. Lunn
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities. IEEE Trans. Software Eng. 21 (9) (1995)
John H. R. May, Gordon Hughes, A. D. Lunn
Reliability estimation from appropriate testing of plant protection software. Softw. Eng. J. 10 (6) (1995)
John H. R. May, A. D. Lunn
New Statistics for Demand-Based Software Testing. Inf. Process. Lett. 53 (6) (1995)
Hong Zhu, Patrick A. V. Hall, John H. R. May
Knowledge engineering helps testing protection software. SEKE (1994)
Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram
Injecting Faults into Environment Simulators for Testing Safety Critical Software. EDCC (1994)
Hong Zhu, Patrick A. V. Hall, John H. R. May
Inductive Inference and Software Testing. Softw. Test. Verification Reliab. 2 (2) (1992)