On Program Analysis. - Michael A. Hennell; Martin R. Woodward; David Hedley (Inf. Process. Lett., 1976)

Quantifying the test effectiveness of Algol 68 programs. - Michael A. Hennell; David Hedley; Martin R. Woodward (Strathclyde ALGOL 68 Conference, 1977)

Some problems concerning the automatic translation of Fortran to Algol 68. - J. Alan Prudom; Michael A. Hennell (Strathclyde ALGOL 68 Conference, 1977)

An Experimental Testbed for Numerical Software. - Michael A. Hennell (Comput. J., 1978)

An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. - Michael A. Hennell; David Hedley (Comput. J., 1979)

The role of procedural parameters in high order languages. - Michael A. Hennell (ACM SIGPLAN Notices, 1979)

A Measure of Control Flow Complexity in Program Text. - Martin R. Woodward; Michael A. Hennell; David Hedley (IEEE Trans. Software Eng., 1979)

The static analysis of Cobol programs. - Michael A. Hennell; W. M. McNicol; J. Hawkins (ACM SIGSOFT Softw. Eng. Notes, 1980)

A Static Analysis of the NAG Library. - Michael A. Hennell; J. Alan Prudom (IEEE Trans. Software Eng., 1980)

Experience with Path Analysis and Testing of Programs. - Martin R. Woodward; David Hedley; Michael A. Hennell (IEEE Trans. Software Eng., 1980)

Assessing a Class of Software Tools. - Michael A. Hennell; David Hedley; I. J. Riddell (ICSE, 1984)

The Causes and Effects of Infeasible Paths in Computer Programs. - David Hedley; Michael A. Hennell (ICSE, 1985)

Automated Testing Techniques for Real-Time Embedded Software. - Michael A. Hennell; David Hedley; I. J. Riddell (ESEC, 1987)

A prototype system for the validation of Pascal programs. - Peter T. Wilkinson; J. A. Bouchard; B. A. Byrne; Michael A. Hennell; P. Jackson; G. O'Neill; Graeme I. P. Parkin; Brian A. Wichmann (Softw. Eng. J., 1988)

Data flow analysis of recursive procedures. - P. Fairfield; Michael A. Hennell (ACM SIGPLAN Notices, 1988)

How to Avoid Systematic Software Testing. - Michael A. Hennell (Softw. Test. Verification Reliab., 1991)

A dual viewpoint software test tool. - Michael A. Hennell; J. Alan Prudom (Microprocess. Microsystems, 1995)

Guest Editorial: An industrial viewpoint. - Michael A. Hennell (Softw. Test. Verification Reliab., 2004)

On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. - Martin R. Woodward; Michael A. Hennell (Inf. Softw. Technol., 2006)

A Tribute to Martin Woodward. - Lee White; Jeff Offutt; Derek Yates; Robert M. Hierons; Michael A. Hennell; Peter Mitchell (Softw. Test. Verification Reliab., 2006)

Software Tool Issues. - Michael A. Hennell (PSSE, 2007)

The First Thirty Years: Experience with Software Verification. - Michael A. Hennell (TAP, 2008)