DocumentCode
935142
Title
Corrigendum for ´Constraint-based automatic test data generation´ by R.A. DeMillo and A.J. Offutt
Author
Girgis, M.R.
Author_Institution
Dept. of Comput. Sci., Bahrain Univ., Isa Town, Bahrain
Volume
19
Issue
6
fYear
1993
fDate
6/1/1993 12:00:00 AM
Firstpage
640
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;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/32.232028
Filename
232028
Link To Document