John H. R. May

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