Michael A. Hennell

	2008
16		Michael A. Hennell: The First Thirty Years: Experience with Software Verification. TAP 2008: 1-3
	2007
15		Michael A. Hennell: Software Tool Issues. PSSE 2007: 203-214
	2006
14		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		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		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		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)

Coauthor Index

1	P. Fairfield	[10]
2	David Hedley	[1] [3] [4] [6] [7] [8] [9]
3	Robert M. Hierons	[13]
4	Peter Mitchell	[13]
5	A. Jefferson Offutt (Jeff Offutt)	[13]
6	J. Alan Prudom	[5]
7	I. J. Riddell	[7] [9]
8	Lee White	[13]
9	Martin R. Woodward	[1] [3] [6] [14]
10	Derek Yates	[13]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page