Publications by John May

This is a list of all publications (co-)authored by John May that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2002

• J. H. R. May, Testing the reliability of component-based safety critical software. 20th International System Safety Conference. S. Thomason, (eds.). ISBN 0-9721385-0-1, pp. 214–224. August 2002. PDF, 55 Kbytes.
• John May, Component-Based Software Reliability Analysis. CSTR-02-002, Department of Computer Science, University of Bristol. May 2002. PDF, 186 Kbytes.

2001

• Colin J. Burgess, Ilesh Dattani, Gordon Hughes, John H. R. May , Using Influence Diagrams to aid the Management of Software Change. Requirements Engineering, 6 (4). ISSN 0947-3602, pp. 175–182. December 2001. No electronic version available.
• Silke Kuball, Gordon Hughes, John May, Julio Gallardo, Andrew John, Roy Carter, The Effectiveness Of Statistical Testing When Applied To Logic Systems. Lecture Notes in Computer Science, 2187 (-). ISSN 0302-9743, pp. 168–177. September 2001. No electronic version available.

2000

• G Hughes, J H R may, S Kuball, The Development and Application of Structural Statistical System Testing. Int Conf on Control and Instrumentation in Nuclear Installations. Dr S Johnson, (eds.), pp. 4–2. November 2000. No electronic version available.
• G Hughes, J H R May, S Kuball, The development and application of structural statistical system testing.. Int. Conf. on C\&I in Nuclear Installations. P Uyanneh, (eds.), pp. 111–126. November 2000. No electronic version available.
• L. Chen, J. May, G. Hughes, A constant perturbation method for evaluation of structural diversity in multiversion software. Chapter in Lecture Notes in Computer Science 'Computer Safety, Reliability and Security'. Floor Koornneef, Meine van der Meulen, (eds.). ISSN 3540411860, pp. 63–73. October 2000. No electronic version available.
• J. Napier, J. May, G. Hughes, Empirical assessment of software on-line diagnostics using fault injection. Chapter in Lecture Notes in Computer Science 'Computer Safety, Reliability and Security'. Floor Koornneef, Meine van der Meulen, (eds.). ISSN 3540411860, pp. 14–26. October 2000. No electronic version available.
• Silke Kuball, John May, Gordon Hughes, Software Reliability Assessment for Branching Structures: A Hierarchical Approach. Proceedings on the Second International Conference on Mathematical Methods in Reliability, MMR 2000. Mikhail Nikulin, Nikolaos Limnios, (eds.), pp. 655–658. July 2000. PDF, 62 Kbytes.
• L. Chen, J. May, G. Hughes, Software Diversity Assessment Based on Input Space Decomposition. The Fifth International Conference on Computer Science and Informatics. ISSN 0964345692, pp. 623–627. March 2000. No electronic version available.
• J. Napier, L. Chen, J. May, G. Hughes, Fault Simulating to validate fault-tolerance in Ada. International Journla of Computer Systems, 15 (1). ISSN 0267-6192, pp. 61–67. January 2000. No electronic version available.

1999

• J. May, S. Kuball, G. Hughes, Test Statistics for System Design Failure. International Journal of Reliability, Quality and Safety Engineering, 6 (3). ISSN 0218-5393, pp. 21–27. December 1999. No electronic version available.
• S. Kuball, J. May, G. Hughes, Building a system failure rate estimator by identifying component failure rates. 10th International Symposium on Software Reliability Engineering (ISSRE'99). ISSN 0769504434, pp. 32–41. November 1999. No electronic version available.
• S. Kuball, J. May, G. Hughes, Structural software reliability estimation. Chapter in Lecture Notes in Computer Science 'Computer Safety, Reliability and Security'. Felici, Kanoun, Pasquini, (eds.). ISSN 3540664882, pp. 336–349. September 1999. No electronic version available.
• J. Napier, J. May, G. Hughes, Implementing SOftware On-Line Diagnostics in SafetY Critical Systems. Fifteenth Annual UK Performance Engineering Workshop. J. T. Bradley, N. J. Davies, (eds.). ISBN 0 9524027 8 5, pp. 355–366. July 1999. No electronic version available.
• J. May, G. Hughes, N. Shaban, Formal coupling of software components. Fifteenth Annual UK Performance Engineering Workshop. ISSN 0952402785, pp. 35–44. July 1999. No electronic version available.
• L. Chen, J. Napier, J. May, G. Hughes, Testing the diversity of multi-version software using fault injection. Procs. of the Safety and Reliability Society Symposium: Advances in Safety and Reliability, pp. 13–1. June 1999. No electronic version available.
• C. J. Burgess, I. Dattani, G. Hughes, J. H. R. May, K. Rees, Using Influence Diagrams in Software Change Management. 7th International Conference on Software Quality Management (SQM'99), Software Quality Management VII. ISBN 1 902505 06 9, pp. 177–187. March 1999. PDF, 122 Kbytes.
• J. May, G. Hughes, H. Zhu, Statistical Software Testing, and Test Adequacy. Chapter in Testing Safety-Related Software. S. Gardiner, (eds.). ISSN 1852330341, pp. 155–170. February 1999. No electronic version available.

1998

• I Dattani, J H R May, L Lafave, Enhanced Formal Modeling for Process Management. Proceedings of The 3rd Annual International Conference on Industrial Engineering Theories, Applications and Practices. ISBN 0-9654599-3-4, pp. 47–55. December 1998. No electronic version available.
• J. May, S. Kuball, G. Hughes, Structural Test Statistics for Design Failure. Procs. International Workshop on Reliability Modelling and Analysis, Nov 1998, pp. 106–115. November 1998. No electronic version available.
• G Hughes, J H R May, Statistical System Testing based on the Results at Sizewell B and On-Going Research. Proceedings of the Third International Conference on Control and Instrumentation in Nulcear Installations. ISSN 02625091, pp. 50–61. May 1998. No electronic version available.
• John May, Silke Kuball, Gordon Hughes, Test Statistics for System Design Failure. CSTR-98-006, Department of Computer Science, University of Bristol. April 1998. No electronic version available.

1997

• H. Zhu, P. Hall, J. May, Software Unit Test Coverage and Adequacy. ACM Computing Surveys, 29 (4). ISSN 0360-0300, pp. 366–427. December 1997. No electronic version available.
• G. Hughes, J. May, J. Noyes, Designing for Safety: Current Activities at Bristol University and Future Directions. Procs. 5th Safety-Critical Systems Symposium. ISSN 3540761349, pp. 38–55. February 1997. No electronic version available.

1995

• J. H. R. May, A. D. Lunn, New statistics for demand-based software testing. Information Processing Letters, 53 (1). ISSN 0020-0190, pp. 307–314. December 1995. No electronic version available.
• J. May, G. Hughes, A. D. Lunn, Reliability estimation from appropriate testing of plant protection software. Software Engineering Journal, 10 (11). ISSN 0268-6961, pp. 206–218. November 1995. No electronic version available.
• J. May, P. Hall, H. Zhu, T. Cockram, N. Bird, L. Winsborrow, Fault prediction for software. Chapter in Mathematics of Dependable Systems. C. Mitchell, V. Stavridou, (eds.). ISBN 0 19 853491 4, pp. 165–181. October 1995. No electronic version available.
• J. H. R. May, A. D. Lunn, A model of code sharing for estimating software failure on demand probabilities. IEEE Transactions on Software Engineering, 21 (9). ISSN 0098-5589, pp. 747–753. September 1995. No electronic version available.
• J. May, G. Hughes, Nuclear Electric's contribution to the CONTESSE Testing Framework and its Early Application. Procs. 3rd Safety-Critical Systems Symposium. ISBN 3-540-19922-5, pp. 25–34. February 1995. No electronic version available.

1993

• H. Zhu, P. Hall, J. May, Inductive Inference and Software Testing. Journal of Software Testing, Verification and Reliability, 2 (2). ISSN 0960-0833, pp. 69–81. September 1993. No electronic version available.

1992

• P. Hall, J. May, D. Nichol, K. Czachur, B. Kinch, Integrity prediction during software development. Safety of Computer Control Systems 1992 (SAFECOMP'92), Computer Systems in Safety-Critical Applications, Proceedings of the IFAC Symposium, Zurich, Switzerland, 28-30 Oct 1992. ISBN 0 08 041893 7, pp. 239–244. December 1992. No electronic version available.