Comparing the Effectiveness of Software Testing Strategies

mills, 0, Mathematical foundations for structural programming

miller, 1981, Tutorial Software Testing & Validation Techniques

1974, Pascal User Manual and Report

jelinski, 1973, applications of a probability-based model to a code reading experiment, Proc IEEE Symp Computer Software Reliability, 78

1983, IEEE Standard Glossary of Software Engineering Terminology

hwang, 1981, An empirical study in functional testing structural testing and code reading inspection*

10.1109/MS.1985.229776

mcmullin, 1980, Evaluating a data abstraction testing system based on formal specifications, 10.21236/ADA097231

linger, 1979, Structured Programming Theory and Practice

johnson, 1983, an effective bug classification scheme must take the programmer into account, Proc Workshop High-Level Debugging

10.1145/357103.357107

10.1109/TSE.1980.230467

howden, 1981, Tutorial Software Testing & Validation Techniques, 209

basili, 1984, data collection and analysis in software research and management, Proc Amer Statist Ass and Biometric Soc Joint Statistical Meetings

10.1145/69605.2085

10.1016/S0020-7373(75)80005-8

10.1145/1036508.1036511

gould, 1974, an exploratory study of computer program debugging, Human Factors, 16, 258, 10.1177/001872087401600308

10.1109/TSE.1977.231144

hetzel, 1976, An expermental analysis of program verification methods

10.1002/spe.4380080402

10.1007/BF00260923

10.1109/TSE.1987.233525

selby, 1984, evaluating software testing strategies, Proc Ninth Annu Software Eng Workshop

10.1109/MC.1984.1659162

10.1109/TSE.1980.230473

10.1109/TSE.1985.232190

valdes, 1983, an error-specific approach to testing, Proc 8th Annu Software Eng Workshop

stucki, 1977, Current Trends in Programming Methodology

10.1055/s-2005-871775

10.1145/800027.808459

church, 1984, Benchmark statistics for the VAX 11/780 and the IBM 4341

cochran, 1950, Experimental Designs

deprie, 1985, report from the ifip working group on terminology, Proc 15th Annu Int Symp Fault Tolerant Computing

10.1147/sj.153.0182

10.1109/TSE.1980.234487

frankl, 1986, data flow testing in the presence of unexecutable paths, Proc Workshop Software Testing, 4

girgis, 1986, an experimental comparison of the error exposing ability of program testing criteria, Proc Workshop Software Testing, 64

gloss-soler, 1979, The DACS glossary A bibliography of software engineering terms Data & Analysis Center for Software

10.1109/TSE.1975.6312836

basili, 1986, experimentation in software engineering, IEEE Trans Software Eng, se 12, 733, 10.1109/TSE.1986.6312975

basili, 1985, Comparing the effectiveness of software testing strategies

10.1109/TSE.1984.5010301

basili, 1976, SIMPL-T A Structured Programming Language

budd, 1978, the design of a prototype mutation system for program testing, Proc AFIPS Conf, 47, 623

box, 1978, Statistics for Experimenters

selby, 1986, combining software testing strategies: an empirical evaluation, Proc Workshop Software Testing, 82

10.1145/359178.359185

scheffe, 1959, The Analysis of Variance

10.1109/C-M.1978.218138

selby, 1985, Evaluations of Software Technologies Testing Cleanroom and Metrics

selby, 1983, an empirical study comparing software testing techniques, Proc Sixth Minnowbrook Workshop Software Performance Evaluation

myers, 1979, The Art of Software Testing

10.1145/359588.359602

10.1016/0164-1212(84)90028-1

10.1007/BF01946816