John H. R. May

According to our database, John H. R. May authored at least 22 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Theoretical Feasibility of Statistical Assurance of Programmable Systems Based on Simulation Tests.

Luping Chen, John H. R. May

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

A Diversity Model Based on Failure Distribution and its Application in Safety Cases.

Luping Chen, John H. R. May

IEEE Trans. Reliab., 2016

2007

New Design Techniques for Enhancing Fault Tolerant Cots Software Wrappers .

Luping Chen, John H. R. May

Proceedings of the ICSOFT 2007, 2007

2004

Safety Assessment of Systems Embedded with COTS Components by PIP technique.

Luping Chen, John H. R. May

Proceedings of the Testing of Component-Based Systems and Software Quality, 2004

Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set.

Silke Kuball, John H. R. May

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Methods for Enhancing Safety Wrapper Design.

Luping Chen, John H. R. May

Proceedings of the 34. Jahrestagung der Gesellschaft für Informatik, 2004

2003

Estimating Bounds on the Reliability of Diverse Systems.

Peter T. Popov, Lorenzo Strigini, John H. R. May, Silke Kuball

IEEE Trans. Software Eng., 2003

2002

Assessment of the Benefit of Redundant Systems.

Luping Chen, John H. R. May, Gordon Hughes

Proceedings of the Computer Safety, 2002

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

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

Proceedings of the Computer Safety, 2001

Estimation of Software Diversity by Fault Simulation and Failure Searching.

Luping Chen, John H. R. May, Gordon Hughes

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000

Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.

John Napier, John H. R. May, Gordon Hughes

Proceedings of the Computer Safety, 2000

A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.

Luping Chen, John H. R. May, Gordon Hughes

Proceedings of the Computer Safety, 2000

1999

Structural Software Reliability Estimation.

Silke Kuball, John H. R. May, Gordon Hughes

Proceedings of the Computer Safety, 1999

Building a system failure rate estimator by identifying component failure rates.

Silke Kuball, John H. R. May, Gordon Hughes

Proceedings of the 10th International Symposium on Software Reliability Engineering, 1999

1997

Software Unit Test Coverage and Adequacy.

Hong Zhu, Patrick A. V. Hall, John H. R. May

ACM Comput. Surv., 1997

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

New Statistics for Demand-Based Software Testing.

John H. R. May, A. D. Lunn

Inf. Process. Lett., 1995

Reliability estimation from appropriate testing of plant protection software.

John H. R. May, Gordon Hughes, A. D. Lunn

Softw. Eng. J., 1995

1994

Knowledge engineering helps testing protection software.

Hong Zhu, Patrick A. V. Hall, John H. R. May

Proceedings of the SEKE'94, 1994

Injecting Faults into Environment Simulators for Testing Safety Critical Software.

Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram

Proceedings of the Dependable Computing, 1994

1992

Inductive Inference and Software Testing.

Hong Zhu, Patrick A. V. Hall, John H. R. May

Softw. Test. Verification Reliab., 1992