| 2008 |
|---|
| 15 | EE | Michael A. Hennell:
The First Thirty Years: Experience with Software Verification.
TAP 2008: 1-3 |
| 2006 |
|---|
| 14 | EE | Martin R. Woodward,
Michael A. Hennell:
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC.
Information & Software Technology 48(7): 433-440 (2006) |
| 13 | EE | Lee White,
Jeff Offutt,
Derek Yates,
Robert M. Hierons,
Michael A. Hennell,
Peter Mitchell:
A Tribute to Martin Woodward.
Softw. Test., Verif. Reliab. 16(4): 209-211 (2006) |
| 2004 |
|---|
| 12 | EE | Michael A. Hennell:
Guest Editorial: An industrial viewpoint.
Softw. Test., Verif. Reliab. 14(4): 241-242 (2004) |
| 1991 |
|---|
| 11 | | Michael A. Hennell:
How to Avoid Systematic Software Testing.
Softw. Test., Verif. Reliab. 1(1): 23-30 (1991) |
| 1988 |
|---|
| 10 | EE | P. Fairfield,
Michael A. Hennell:
Data flow analysis of recursive procedures.
SIGPLAN Notices 23(1): 48-57 (1988) |
| 1987 |
|---|
| 9 | | Michael A. Hennell,
David Hedley,
I. J. Riddell:
Automated Testing Techniques for Real-Time Embedded Software.
ESEC 1987: 244-253 |
| 1985 |
|---|
| 8 | | David Hedley,
Michael A. Hennell:
The Causes and Effects of Infeasible Paths in Computer Programs.
ICSE 1985: 259-267 |
| 1984 |
|---|
| 7 | | Michael A. Hennell,
David Hedley,
I. J. Riddell:
Assessing a Class of Software Tools.
ICSE 1984: 266-277 |
| 1980 |
|---|
| 6 | | Martin R. Woodward,
David Hedley,
Michael A. Hennell:
Experience with Path Analysis and Testing of Programs.
IEEE Trans. Software Eng. 6(3): 278-286 (1980) |
| 5 | | Michael A. Hennell,
J. Alan Prudom:
A Static Analysis of the NAG Library.
IEEE Trans. Software Eng. 6(4): 329-333 (1980) |
| 1979 |
|---|
| 4 | | Michael A. Hennell,
David Hedley:
An Experimental Testbed for Numerical Software, Part 2: ALGOL 68.
Comput. J. 22(1): 53-56 (1979) |
| 3 | | Martin R. Woodward,
Michael A. Hennell,
David Hedley:
A Measure of Control Flow Complexity in Program Text.
IEEE Trans. Software Eng. 5(1): 45-50 (1979) |
| 1978 |
|---|
| 2 | | Michael A. Hennell:
An Experimental Testbed for Numerical Software.
Comput. J. 21(4): 333-336 (1978) |
| 1976 |
|---|
| 1 | | Michael A. Hennell,
Martin R. Woodward,
David Hedley:
On Program Analysis.
Inf. Process. Lett. 5(5): 136-140 (1976) |
