Michael A. Hennell

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

2007

Software Tool Issues.

[BibT_eX]

[DOI]

Proceedings of the Testing Techniques in Software Engineering, 2007

2006

A Tribute to Martin Woodward.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2006

On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2006

2004

Guest Editorial: An industrial viewpoint.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2004

1995

A dual viewpoint software test tool.

[BibT_eX]

[DOI]

J. Alan Prudom

Microprocess. Microsystems, 1995

1991

How to Avoid Systematic Software Testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1991

1988

Data flow analysis of recursive procedures.

[BibT_eX]

[DOI]

P. Fairfield

ACM SIGPLAN Notices, 1988

A prototype system for the validation of Pascal programs.

[BibT_eX]

[DOI]

Softw. Eng. J., 1988

1987

Automated Testing Techniques for Real-Time Embedded Software.

[BibT_eX]

[DOI]

I. J. Riddell

Proceedings of the ESEC '87, 1987

1985

The Causes and Effects of Infeasible Paths in Computer Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

1984

Assessing a Class of Software Tools.

[BibT_eX]

[DOI]

I. J. Riddell

Proceedings of the Proceedings, 1984

1980

Experience with Path Analysis and Testing of Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1980

A Static Analysis of the NAG Library.

[BibT_eX]

[DOI]

J. Alan Prudom

IEEE Trans. Software Eng., 1980

The static analysis of Cobol programs.

[BibT_eX]

[DOI]

W. M. McNicol

J. Hawkins

ACM SIGSOFT Softw. Eng. Notes, 1980

1979

A Measure of Control Flow Complexity in Program Text.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1979

The role of procedural parameters in high order languages.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1979

An Experimental Testbed for Numerical Software, Part 2: ALGOL 68.

[BibT_eX]

[DOI]

Comput. J., 1979

1978

An Experimental Testbed for Numerical Software.

[BibT_eX]

[DOI]

Comput. J., 1978

1977

Some problems concerning the automatic translation of Fortran to Algol 68.

[BibT_eX]

[DOI]

J. Alan Prudom

Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, 1977

Quantifying the test effectiveness of Algol 68 programs.

[BibT_eX]

[DOI]

Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, 1977

1976

On Program Analysis.

[BibT_eX]

[DOI]