John McDermid
Title
Cited by
Cited by
Year
Towards operational measures of computer security
B Littlewood, S Brocklehurst, N Fenton, P Mellor, S Page, D Wright, ...
Journal of computer security 2 (2-3), 211-229, 1993
3131993
Software engineer's reference book
JA McDermid
Elsevier, 2013
2942013
An automated framework for structural test-data generation
N Tracey, J Clark, K Mander, J McDermid
Proceedings 13th IEEE International Conference on Automated Softwareá…, 1998
2931998
Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure
Y Papadopoulos, J McDermid, R Sasse, G Heiner
Reliability Engineering & System Safety 71 (3), 229-247, 2001
2682001
Hierarchically performed hazard origin and propagation studies
Y Papadopoulos, JA McDermid
International Conference on Computer Safety, Reliability, and Security, 139-152, 1999
2611999
Large-scale complex IT systems
I Sommerville, D Cliff, R Calinescu, J Keen, T Kelly, M Kwiatkowska, ...
Communications of the ACM 55 (7), 71-77, 2012
2572012
Safety case construction and reuse using patterns
TP Kelly, JA McDermid
Safe Comp 97, 55-69, 1997
2221997
Towards integrated safety analysis and design
P Fenelon, JA McDermid, M Nicolson, DJ Pumfrey
ACM SIGAPP Applied Computing Review 2 (1), 21-32, 1994
1991994
Class mutation: Mutation testing for object-oriented programs
S Kim, JA Clark, JA McDermid
Proc. Net. ObjectDays, 9-12, 2000
1932000
Automated test‐data generation for exception conditions
N Tracey, J Clark, K Mander, J McDermid
Software: Practice and Experience 30 (1), 61-79, 2000
1742000
An integrated tool set for software safety analysis
P Fenelon, JA McDermid
Journal of Systems and Software 21 (3), 279-290, 1993
1651993
Experience with the application of HAZOP to computer-based systems
JA McDermid, M Nicholson, DJ Pumfrey, P Fenelon
COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assuranceá…, 1995
1351995
Formal methods: Use and relevance for the development of safety-critical systems
LM Barroca, JA McDermid
The Computer Journal 35 (6), 579-599, 1992
1341992
Ten steps towards systematic requirements reuse
W Lam, JA McDermid, AJ Vickers
Requirements Engineering 2 (2), 102-113, 1997
1321997
The rigorous generation of Java mutation operators using HAZOP
S Kim, J Clark, J McDermid
Informe tÚcnico, The University of York, 1999
1221999
Life cycle support in the ADA environment
J McDermid, K Ripken
CUP Archive, 1984
1181984
Software safety: where's the evidence?
JA McDermid
Proceedings of the Sixth Australian workshop on Safety critical systems andá…, 2001
1152001
On the meaning of safety and security
A Burns, J McDermid, J Dobson
The Computer Journal 35 (1), 3-15, 1992
1131992
Investigating the effectiveness of object‐oriented testing strategies using the mutation method
SW Kim, JA Clark, JA McDermid
Software Testing, Verification and Reliability 11 (4), 207-225, 2001
1122001
A development of hazard analysis to aid software design
JA McDermid, DJ Pumfrey
Proceedings of COMPASS'94-1994 IEEE 9th Annual Conference on Computerá…, 1994
1111994
The system can't perform the operation now. Try again later.
Articles 1–20