default search action

combined dblp search
author search
venue search
publication search

ask others

Michael A. Hennell

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2006
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/WoodwardH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/WoodwardH06
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): 433-440 (2006)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/WhiteOYHHM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/WhiteOYHHM06
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): 209-211 (2006)
2004
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hennell04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hennell04
Michael A. Hennell:
Guest Editorial: An industrial viewpoint. Softw. Test. Verification Reliab. 14(4): 241-242 (2004)
1995
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/mam/HennellP95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mam/HennellP95
Michael A. Hennell, J. Alan Prudom:
A dual viewpoint software test tool. Microprocess. Microsystems 19(2): 101-104 (1995)
1991
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/Hennell91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/Hennell91
Michael A. Hennell:
How to Avoid Systematic Software Testing. Softw. Test. Verification Reliab. 1(1): 23-30 (1991)
1988
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/WilkinsonBBHJOP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/WilkinsonBBHJOP88
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): 47-52 (1988)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/FairfieldH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/FairfieldH88
P. Fairfield, Michael A. Hennell:
Data flow analysis of recursive procedures. ACM SIGPLAN Notices 23(1): 48-57 (1988)
1980
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/HennellMH80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/HennellMH80
Michael A. Hennell, W. M. McNicol, J. Hawkins:
The static analysis of Cobol programs. ACM SIGSOFT Softw. Eng. Notes 5(4): 17-25 (1980)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WoodwardHH80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WoodwardHH80
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)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/HennellP80
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/HennellP80
Michael A. Hennell, J. Alan Prudom:
A Static Analysis of the NAG Library. IEEE Trans. Software Eng. 6(4): 329-333 (1980)
1979
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/HennellH79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/HennellH79
Michael A. Hennell, David Hedley:
An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. Comput. J. 22(1): 53-56 (1979)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sigplan/Hennell79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigplan/Hennell79
Michael A. Hennell:
The role of procedural parameters in high order languages. ACM SIGPLAN Notices 14(7): 47-50 (1979)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/WoodwardHH79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/WoodwardHH79
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
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Hennell78
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Hennell78
Michael A. Hennell:
An Experimental Testbed for Numerical Software. Comput. J. 21(4): 333-336 (1978)
1976
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/HennellWH76
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/HennellWH76
Michael A. Hennell, Martin R. Woodward, David Hedley:
On Program Analysis. Inf. Process. Lett. 5(5): 136-140 (1976)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/Hennell08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/Hennell08
Michael A. Hennell:
The First Thirty Years: Experience with Software Verification. TAP 2008: 1-3
2007
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/Hennell07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/Hennell07
Michael A. Hennell:
Software Tool Issues. PSSE 2007: 203-214
1987
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/esec/HennellHR87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esec/HennellHR87
Michael A. Hennell, David Hedley, I. J. Riddell:
Automated Testing Techniques for Real-Time Embedded Software. ESEC 1987: 244-253
1985
[c4]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/HedleyH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HedleyH85
David Hedley, Michael A. Hennell:
The Causes and Effects of Infeasible Paths in Computer Programs. ICSE 1985: 259-267
1984
[c3]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/HennellHR84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HennellHR84
Michael A. Hennell, David Hedley, I. J. Riddell:
Assessing a Class of Software Tools. ICSE 1984: 266-277
1977
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/algol/HennellHW77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/algol/HennellHW77
Michael A. Hennell, David Hedley, Martin R. Woodward:
Quantifying the test effectiveness of Algol 68 programs. Strathclyde ALGOL 68 Conference 1977: 36-41
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/algol/PrudomH77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/algol/PrudomH77
J. Alan Prudom, Michael A. Hennell:
Some problems concerning the automatic translation of Fortran to Algol 68. Strathclyde ALGOL 68 Conference 1977: 138-143

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.