Title :
Corrigendum for ´Constraint-based automatic test data generation´ by R.A. DeMillo and A.J. Offutt
Author_Institution :
Dept. of Comput. Sci., Bahrain Univ., Isa Town, Bahrain
fDate :
6/1/1993 12:00:00 AM
Abstract :
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.<>
Keywords :
program debugging; program testing; FORTRAN-77; constraint-based test data generation; control flow testing; data flow analysis; weak mutation; Arithmetic; Automatic testing; Control systems; Data analysis; Error correction; Genetic mutations; History; Instruments; Monitoring; System testing;
Journal_Title :
Software Engineering, IEEE Transactions on
