|
Search the dblp DataBase
Michael A. Hennell:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Martin R. Woodward, Michael A. Hennell, David Hedley
A Measure of Control Flow Complexity in Program Text. [Citation Graph (1, 0)][DBLP] IEEE Trans. Software Eng., 1979, v:5, n:1, pp:45-50 [Journal]
- Michael A. Hennell, David Hedley, I. J. Riddell
Automated Testing Techniques for Real-Time Embedded Software. [Citation Graph (0, 0)][DBLP] ESEC, 1987, pp:244-253 [Conf]
- David Hedley, Michael A. Hennell
The Causes and Effects of Infeasible Paths in Computer Programs. [Citation Graph (0, 0)][DBLP] ICSE, 1985, pp:259-267 [Conf]
- Michael A. Hennell, David Hedley, I. J. Riddell
Assessing a Class of Software Tools. [Citation Graph (0, 0)][DBLP] ICSE, 1984, pp:266-277 [Conf]
- Michael A. Hennell
An Experimental Testbed for Numerical Software. [Citation Graph (0, 0)][DBLP] Comput. J., 1978, v:21, n:4, pp:333-336 [Journal]
- Michael A. Hennell, David Hedley
An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. [Citation Graph (0, 0)][DBLP] Comput. J., 1979, v:22, n:1, pp:53-56 [Journal]
- Martin R. Woodward, Michael A. Hennell
On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. [Citation Graph (0, 0)][DBLP] Information & Software Technology, 2006, v:48, n:7, pp:433-440 [Journal]
- Michael A. Hennell, Martin R. Woodward, David Hedley
On Program Analysis. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1976, v:5, n:5, pp:136-140 [Journal]
- P. Fairfield, Michael A. Hennell
Data flow analysis of recursive procedures. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1988, v:23, n:1, pp:48-57 [Journal]
- Michael A. Hennell
Guest Editorial: An industrial viewpoint. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 2004, v:14, n:4, pp:241-242 [Journal]
- Michael A. Hennell
How to Avoid Systematic Software Testing. [Citation Graph (0, 0)][DBLP] Softw. Test., Verif. Reliab., 1991, v:1, n:1, pp:23-30 [Journal]
- Michael A. Hennell, J. Alan Prudom
A Static Analysis of the NAG Library. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1980, v:6, n:4, pp:329-333 [Journal]
- Martin R. Woodward, David Hedley, Michael A. Hennell
Experience with Path Analysis and Testing of Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1980, v:6, n:3, pp:278-286 [Journal]
The First Thirty Years: Experience with Software Verification. [Citation Graph (, )][DBLP]
Software Tool Issues. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|