Michael A. Hennell

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