Corrigendum for 'Constraint-based automatic test data generation' by R.A. DeMillo and A.J. Offutt
Moheb Ramzy Girgis · IEEE Transactions on Software Engineering · 1993
In reference to the above-titled paper by R.A. DeMillo and A.J. Offutt (see ibid., vol.17, no.9, p.900-10, Sept. 1991), the commenter rates that he and M.R. Woodward (1985) implemented a system for FORTRAN-77 programs that integrates weak mutation and data flow analysis. He reports here that experiments have been carried out by them (1986), using the system to compare the error exposing ability of weak mutation, data flow, and control flow testing strategies.>