John May
Cited by
Cited by
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
Acm computing surveys (csur) 29 (4), 366-427, 1997
Reliability estimation from appropriate testing of plant protection software
J May, G Hughes, AD Lunn
Software Engineering Journal 10 (6), 206-218, 1995
Estimating bounds on the reliability of diverse systems
P Popov, L Strigini, J May, S Kuball
IEEE Transactions on Software Engineering 29 (4), 345-359, 2003
Incident analysis & digital forensics in SCADA and industrial control systems
T Spyridopoulos, T Tryfonas, J May
IET Digital Library, 2013
Building a system failure rate estimator by identifying component failure rates
S Kuball, J May, G Hughes
Proceedings 10th International Symposium on Software Reliability Engineering …, 1999
Inductive inference and software testing
H Zhu, P Hall, J May
Software Testing, Verification and Reliability 2 (2), 69-81, 1992
A study of the precursors leading to ‘organisational’accidents in complex industrial settings
RH Taylor, LGA van Wijk, JHM May, NJ Carhart
Process Safety and Environmental Protection 93, 50-67, 2015
Component-Based software reliability analysis
J May
TechnicalReport, CSTR-02-002 10, 2002
A model of code sharing for estimating software failure on demand probabilities
JHR May, AD Lunn
IEEE transactions on software engineering 21 (9), 747-753, 1995
A discussion of statistical testing on a safety-related application
S Kuball, JHR May
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2007
The effectiveness of statistical testing when applied to logic systems
S Kuball, G Hughes, JHR May, J Gallardo, A John
Safety science 42 (5), 369-383, 2004
Can we learn from SCADA security incidents
A Pauna, K Moulinos, M Lakka, J May, T Tryfonas
White Paper, European Union Agency for Network and Information Security …, 2013
Test-adequacy and statistical testing: combining different properties of a test-set
S Kuball, J May
15th International Symposium on Software Reliability Engineering, 161-172, 2004
New statistics for demand-based software testing
JHR May, AD Lunn
Information Processing Letters 53 (6), 307-314, 1995
Structural software reliability estimation
S Kuball, J May, G Hughes
International Conference on Computer Safety, Reliability, and Security, 336-349, 1999
Integrity prediction during software development
P Hall, J May, D Nichol, K Czachur, B Kinch
Safety of Computer Control Systems 1992 (Safecomp'92), 239-244, 1992
Using influence diagrams to aid the management of software change
CJ Burgess, I Dattani, G Hughes, JHR May, K Rees
Requirements Engineering 6 (3), 173-182, 2001
Test statistics for system design failure
J May, S Kuball, G Hughes
International Journal of Reliability, Quality and Safety Engineering 6 (03 …, 1999
Coping after a big nuclear accident
P Thomas, J May
Process Safety and Environmental Protection 112, 1-3, 2017
Fault analysis of the software generation process-The FASGEP project
M Cottam, JHR May
Safety and Reliability Society Symposium: Risk Management and Critical …, 1994
The system can't perform the operation now. Try again later.
Articles 1–20