 | 2004 |
| 17 |  | Luping Chen,
John H. R. May:
Methods for Enhancing Safety Wrapper Design.
GI Jahrestagung (1) 2004: 77-82 |
| 16 |  | Silke Kuball,
John H. R. May:
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set.
ISSRE 2004: 161-172 |
| 15 |  | Luping Chen,
John H. R. May:
Safety Assessment of Systems Embedded with COTS Components by PIP technique.
SOQUA/TECOS 2004: 93-108 |
| 2003 |
| 14 |  | 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): 345-359 (2003) |
| 2002 |
| 13 |  | Luping Chen,
John H. R. May,
Gordon Hughes:
Assessment of the Benefit of Redundant Systems.
SAFECOMP 2002: 151-162 |
| 2001 |
| 12 |  | Luping Chen,
John H. R. May,
Gordon Hughes:
Estimation of Software Diversity by Fault Simulation and Failure Searching.
ISSRE 2001: 122-131 |
| 11 |  | 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: 156-165 |
| 10 |  | 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): 173-182 (2001) |
| 2000 |
| 9 |  | John Napier,
John H. R. May,
Gordon Hughes:
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.
SAFECOMP 2000: 14-26 |
| 8 |  | Luping Chen,
John H. R. May,
Gordon Hughes:
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software.
SAFECOMP 2000: 63-73 |
| 1999 |
| 7 |  | Silke Kuball,
John H. R. May,
Gordon Hughes:
Structural Software Reliability Estimation.
SAFECOMP 1999: 336-349 |
| 1997 |
| 6 |  | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Software Unit Test Coverage and Adequacy.
ACM Comput. Surv. 29(4): 366-427 (1997) |
| 1995 |
| 5 |  | 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): 747-753 (1995) |
| 4 |  | John H. R. May,
A. D. Lunn:
New Statistics for Demand-Based Software Testing.
Inf. Process. Lett. 53(6): 307-314 (1995) |
| 1994 |
| 3 |  | Hong Zhu,
Patrick A. V. Hall,
John H. R. May,
T. Cockram:
Injecting Faults into Environment Simulators for Testing Safety Critical Software.
EDCC 1994: 235-249 |
| 2 |  | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Knowledge engineering helps testing protection software.
SEKE 1994: 116-123 |
| 1992 |
| 1 |  | Hong Zhu,
Patrick A. V. Hall,
John H. R. May:
Inductive Inference and Software Testing.
Softw. Test., Verif. Reliab. 2(2): 69-81 (1992) |