Michael A. Hennell

Publication Activity (10 Years)

Years Active: 1976-2008
Publications (10 Years): 0

Publications

Michael A. Hennell
The First Thirty Years: Experience with Software Verification. TAP (2008)
Michael A. Hennell
Software Tool Issues. PSSE (2007)
Martin R. Woodward, Michael A. Hennell
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. Inf. Softw. Technol. 48 (7) (2006)
Lee White, Jeff Offutt, Derek Yates, Robert M. Hierons, Michael A. Hennell, Peter Mitchell
A Tribute to Martin Woodward. Softw. Test. Verification Reliab. 16 (4) (2006)
Michael A. Hennell
Guest Editorial: An industrial viewpoint. Softw. Test. Verification Reliab. 14 (4) (2004)
Michael A. Hennell, J. Alan Prudom
A dual viewpoint software test tool. Microprocess. Microsystems 19 (2) (1995)
Michael A. Hennell
How to Avoid Systematic Software Testing. Softw. Test. Verification Reliab. 1 (1) (1991)
Peter T. Wilkinson, J. A. Bouchard, B. A. Byrne, Michael A. Hennell, P. Jackson, G. O'Neill, Graeme I. P. Parkin, Brian A. Wichmann
A prototype system for the validation of Pascal programs. Softw. Eng. J. 3 (2) (1988)
P. Fairfield, Michael A. Hennell
Data flow analysis of recursive procedures. ACM SIGPLAN Notices 23 (1) (1988)
Michael A. Hennell, David Hedley, I. J. Riddell
Automated Testing Techniques for Real-Time Embedded Software. ESEC (1987)
David Hedley, Michael A. Hennell
The Causes and Effects of Infeasible Paths in Computer Programs. ICSE (1985)
Michael A. Hennell, David Hedley, I. J. Riddell
Assessing a Class of Software Tools. ICSE (1984)
Michael A. Hennell, J. Alan Prudom
A Static Analysis of the NAG Library. IEEE Trans. Software Eng. 6 (4) (1980)
Michael A. Hennell, W. M. McNicol, J. Hawkins
The static analysis of Cobol programs. ACM SIGSOFT Softw. Eng. Notes 5 (4) (1980)
Martin R. Woodward, David Hedley, Michael A. Hennell
Experience with Path Analysis and Testing of Programs. IEEE Trans. Software Eng. 6 (3) (1980)
Michael A. Hennell
The role of procedural parameters in high order languages. ACM SIGPLAN Notices 14 (7) (1979)
Michael A. Hennell, David Hedley
An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. Comput. J. 22 (1) (1979)
Martin R. Woodward, Michael A. Hennell, David Hedley
A Measure of Control Flow Complexity in Program Text. IEEE Trans. Software Eng. 5 (1) (1979)
Michael A. Hennell
An Experimental Testbed for Numerical Software. Comput. J. 21 (4) (1978)
J. Alan Prudom, Michael A. Hennell
Some problems concerning the automatic translation of Fortran to Algol 68. Strathclyde ALGOL 68 Conference (1977)
Michael A. Hennell, David Hedley, Martin R. Woodward
Quantifying the test effectiveness of Algol 68 programs. Strathclyde ALGOL 68 Conference (1977)
Michael A. Hennell, Martin R. Woodward, David Hedley
On Program Analysis. Inf. Process. Lett. 5 (5) (1976)