Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Michael A. Hennell
Observed names:
M A Hennell,
M. A. Hennell,
M.A Hennell,
M.A. Hennell,
MA Hennell,
Michael Hennell
show all 6
Observed institutions:
University of Liverpool,
University College London,
University of Birmingham
OpenAlex ID:
A5110166495
A Measure of Control Flow Complexity in Program Text
1979
·
M.R. Woodward
, M.A. Hennell
, et al.
·
IEEE Transactions on Software Engineering
·
201
Experience with Path Analysis and Testing of Programs
1980
·
M.R. Woodward
, D. Hedley
, et al.
·
IEEE Transactions on Software Engineering
·
174
The state of 3H and 3He below the break-up threshold
1971
·
L.M. Delves
, M.A. Hennell
·
Nuclear Physics A
·
55
The three-nucleon system with the Reid and Gammel-Brueckner potentials
1972
·
M.A. Hennell
, L.M. Delves
·
Physics Letters B
·
34
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC
2005
·
Martin R. Woodward
, Michael A. Hennell
·
Information and Software Technology
·
31
On program analysis
1976
·
M.A. Hennell
, M.R. Woodward
, et al.
·
Information Processing Letters
·
29
Production and assessment of numerical software
1980
·
M. A. Hennell
, L. M. Delves
·
24
The bound states of 3H and 3He with the Reid potential
1975
·
M.A. Hennell
, L.M. Delves
·
Nuclear Physics A
·
24
A practical method for software quality control via program mutation
2003
·
D. Wu
, M.A. Hennell
, et al.
·
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
·
18
Strategic benefits of software test management: a case study
2005
·
Martin R. Woodward
, Michael A. Hennell
·
Journal of Engineering and Technology Management
·
16
3H and 3He form factors with the HJ potential
1971
·
M.A. Hennell
, L.M. Delves
·
Physics Letters B
·
14
Assessing a class of software tools
1984
·
M. A. Hennell
, D. Hedley
, et al.
·
11
The state of 3H and 3He below the break-up threshold
1973
·
M.A. Hennell
, L.M. Delves
·
Nuclear Physics A
·
11
Triton binding energy calculations with the Hamada-Johnston potential
1970
·
J.W. Humberston
, M.A. Hennell
·
Physics Letters B
·
11
Static dataflow-aided weak mutation analysis (SDAWM)
1990
·
AC Marshall
, D Hedley
, et al.
·
Information and Software Technology
·
10
Testing for the achievement of software reliability
1991
·
M.A. Hennell
·
Reliability Engineering & System Safety
·
8
Some problems concerning the automatic translation of Fortran to Algol 68
1977
·
A. Prudom
, M. A. Hennell
·
Strathclyde ALGOL 68 Conference
·
8
PDF
Automated testing techniques for real-time embedded software
2006
·
M. A. Hennell
, D. Hedley
, et al.
·
Springer eBooks
·
7
A Static Analysis of the NAG Library
1980
·
M.A. Hennell
, J.A. Prudom
·
IEEE Transactions on Software Engineering
·
6
The global element method applied to a discontinuous nuclear potential
1978
·
J.A. Hendry
, M.A. Hennell
·
Journal of Computational Physics
·
6
An experimental testbed for numerical software
1978
·
M. A. Hennell
·
The Computer Journal
·
6
Variational methods with trial functions not satisfying prescribed boundary conditions
1975
·
M A Hennell
, J A Hendry
·
Journal of Physics A Mathematical and General
·
6
PDF
How to avoid systematic software testing
1991
·
M. A. Hennell
·
Software Testing Verification and Reliability
·
5
The quantification of software reliability
1988
·
E. Fergus
, A. C. Marshall
, et al.
·
5
Data flow analysis of recursive procedures
1988
·
P. Fairfield
, M. A. Hennell
·
ACM SIGPLAN Notices
·
5
Show more works
View as search
Works count:
53
Citation count:
775
H-index:
11
I10-index:
15
Year
Topic
Type
