A Close Look at Domain Testing

IEEE Transactions on Software Engineering

Volumn SE-8, Issue 4, 1982, Pages 380-390

  Clarke, Lori A ^a   Hassell, Johnette ^b   Richardson, Debra J ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

^b TULANE UNIVERSITY   (United States)

Author keywords

Program testing; test data selection

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0020152967     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1982.235572     Document Type: Article

References (11)

1. T. E. Cheatham, G. H. Holloway, and J. A. Townley, “Symbolic evaluation and the analysis of programs,” IEEE Trans. Software Eng., vol. SE-5, pp. 402-417, July 1979.
2. L. A. Clarke, “A system to generate test data and symbolically execute programs,” IEEE Trans. Software Eng., vol. SE-2, pp. 215-222, Sept. 1976.
3. L. A. Clarke and D. J. Richardson, “Symbolic evaluation methods-Implementations and applications,” in Computer Program Testing, B. Chandrasekaran and S. Radicchi, Eds. Amsterdam, The Netherlands: North-Holland, 1981, pp. 65-102.
4. R. A. DeMillo and R. J. Lipton, “A probabilistic remark on algebraic program testing,” Sch. of Inform. Comput. Sci., Georgia Inst., of Technol., Atlanta, Tech. Rep., May 1977.
5. J. B. Goodenough and S. L. Gerhart, “Toward a theory of test data selection,” IEEE Trans. Software Eng., vol. SE-1, pp. 156-173, June 1975.
6. W. E. Howden, “Reliability of the path analysis testing strategy,” IEEE Trans. Software Eng., vol. SE-2, pp. 208-215, Sept. 1976.
7. “Symbolic testing and the DISSECT symbolic evaluation system,” IEEE Trans. Software Eng., vol. SE-3, pp. 266-278, July 1977.
8. “Algebraic program testing,” Acta Inform., vol. 10, pp. 56-66, Oct. 1978.
9. D. J. Richardson and L. A. Clarke, “A partition analysis method to increase program reliability,” in Proc. 5th Int. Conf. on Software Eng., Mar. 1981, pp. 244-253.
10. L. J. White and E. I. Cohen, “A domain strategy for computer program testing,” IEEE Trans. Software Eng., vol. SE-6, pp. 247-257, May 1980.
11. L. J. White, F. C. Teng, H. Kuo, and D. Coleman, “An error analysis of the domain testing strategy,” Ohio State Univ., Columbus, CISRC-TR-78-2, Dec. 1978.