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
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
Reliability estimation from appropriate testing of plant protection software
J May, G Hughes, AD Lunn
Software Engineering Journal 10 (6), 206-218, 1995
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
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
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
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
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
New statistics for demand-based software testing
JHR May, AD Lunn
Information Processing Letters 53 (6), 307-314, 1995
Efficient modeling of correlated shadow fading in dense wireless multi-hop networks
S Lu, J May, RJ Haines
2014 IEEE Wireless Communications and Networking Conference (WCNC), 311-316, 2014
Coping after a big nuclear accident
P Thomas, J May
Process Safety and Environmental Protection 112, 1-3, 2017
Effects of correlated shadowing modeling on performance evaluation of wireless sensor networks
S Lu, J May, RJ Haines
2015 IEEE 82nd Vehicular Technology Conference (VTC2015-Fall), 1-5, 2015
Structural software reliability estimation
A Pasquini, S Kuball, J May, G Hughes
Computer Safety, Reliability and Security: 18th International Conference …, 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, 173-182, 2001
The system can't perform the operation now. Try again later.
Articles 1–20