2004 |
17 | | Luping Chen,
John H. R. May:
Methods for Enhancing Safety Wrapper Design.
GI Jahrestagung (1) 2004: 77-82 |
16 | EE | 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 | EE | 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 | EE | Luping Chen,
John H. R. May,
Gordon Hughes:
Assessment of the Benefit of Redundant Systems.
SAFECOMP 2002: 151-162 |
2001 |
12 | EE | Luping Chen,
John H. R. May,
Gordon Hughes:
Estimation of Software Diversity by Fault Simulation and Failure Searching.
ISSRE 2001: 122-131 |
11 | EE | 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 | EE | 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 | EE | John Napier,
John H. R. May,
Gordon Hughes:
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection.
SAFECOMP 2000: 14-26 |
8 | EE | 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 | EE | Silke Kuball,
John H. R. May,
Gordon Hughes:
Structural Software Reliability Estimation.
SAFECOMP 1999: 336-349 |
1997 |
6 | EE | 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 | EE | 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 | EE | 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) |