Software testing - searching for the missing link

Information and Software Technology

Volumn 41, Issue 14, 1999, Pages 991-994

  Roper, M ^a  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONSTRAINT THEORY; OBJECT ORIENTED PROGRAMMING; PROGRAMMING THEORY;

ADEQUACY CRITERIA; PARTITION TESTING; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 0033318853     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00074-9     Document Type: Article

References (16)

1. Roper M. Software Testing. 1993;McGraw-Hill, New York.
2. Zhu Hong, Hall P.A.V., May J.H.R. Software unit test coverage and adequacy. ACM Computing Surveys. 29:(4):1997;366-427.
3. Weyuker E.J. The applicability of program schema results to programs. International Journal of Computer Information Sciences. 8:1979;387-403.
4. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering. 16:(8):1990;870-879.
5. DeMillo R.A., Offutt A.J. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering. 17:(9):1991;900-910.
6. DeMillo R.A., Offut A.J. Experimental results from an automatic test case generator. ACM Transactions on Software Engineering Methodology. 2:(2):1993;109-127.
7. Jones B.F., Eyres D.E., Sthamer H-H. A strategy for using genetic algorithms to automate branch and fault-based testing. The Computer Journal. 41:(2):1998;98-107.
8. S. Xanthakis, C. Ellis, C. Skourlas, A. LeGall, S. Katsikas, Application of genetic algorithms to software testing, in 5th International Conference on Software Engineering, 1992.
9. M. Roper, Computer aided software testing using genetic algorithms, in 10th International Quality Week Conference, 1997.
10. Hamlet R. Special section on software testing (guest editorial). Communications of the ACM. 31:(6):1988;662-667.
11. Weyuker E.J. The evaluation of program-based software test data adequacy criteria. Communications of the ACM. 31:(6):1988;668-675.
12. Parrish A.S., Zweben S.H. Analysis and refinement of software test data adequacy properties. IEEE Transactions on Software Engineering. 17:(6):1991;565-581.
13. Frankl P.G., Weyuker E.J. formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering. 19:(3):1993;202-213.
14. Tsoukalas M.Z., Duran J.W., Ntafos S.C. On some reliability estimation problems in random and partition testing. IEEE Transactions on Software Engineering. 19:(7):1993;687-697.
15. Frankl P.G., Hamlet R.G., Littlewood B., Strigini L. Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering. 24:(8):1998;586-601.
16. Roper M., Wood M., Miller J. An empirical evaluation of defect detection techniques. Journal of Information and Software Technology. 39:(11):1997;763-775.