I. J. Riddell

Static dataflow-aided weak mutation analysis (SDAWM)

A. C. Marshall, D. Hedley, I. J. Riddell, 1990 .

Program analysis and systematic testing

D. Hedley, I. J. Riddell, M. A. Hennell, 1989 .

Automated Testing Techniques for Real-Time Embedded Software

Michael A. Hennell, I. J. Riddell, David Hedley, 1987, ESEC.

A practical method for software quality control via program mutation

D. Hedley, I. J. Riddell, M. A. Hennell, 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

The Comparison of Routines for Solving Fredholm Integral Equations of the Second Kind

L. M. Delves, I. J. Riddell, 1980, Comput. J..

Assessing a class of software tools

Michael A. Hennell, I. J. Riddell, David Hedley, 1984, ICSE '84.

Runge-Kutta Methods with Error Estimates for Volterra Integral Equations of the Second Kind

I. J. Riddell, C. Baker, S. Amini, 1980 .