An automatic approach of domain test data generation

Journal of Systems and Software

Volumn 49, Issue 1, 1999, Pages 97-112

  Jeng, Bingchiang ^a   Forgács, István ^b  

^a NATIONAL SUN YAT SEN UNIVERSITY   (Taiwan)

^b INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0343081422     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(99)00071-0     Document Type: Article

References (26)

1. Agrawal, H., Morgan, J.R., Krauser E.W., London, S.A., 1993.
2. Incremental regression testing. In: Proceedings of the Conference on Software Maintenance. Montreal, pp. 348-357.
3. Bertsekas, D.P., 1995. Nonlinear Programming, Athena Scientific, Belmont, MA (see pages starting from p. 203 and also Fig. 2.3.1.). Clarke, L.A., 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng. 2 (3), 215-222.
4. Clarke, L.A., Hasseil, H., Richardson, D.J., 1982. A close look at domain testing. IEEE Trans. Software Engrg. 8 (4), 380-398.
5. Converse, A.D., 1970. Optimization. Holt, Rinehart and Winston, New York.
6. Eishoff, J.L., 1976. An analysis of some commercial PL/I programs. IEEE Trans. Software Engrg. 2 (2), 113-120.
7. Forgács, I., Bertolino, A., 1997. Feasible test path selection by principal slicing Fifth ACM SIGSOFT Symposium on FSE and Sixth European Software Engineering Conference. Zurich, Switzerland, LNCS. 1301, 378-394.
8. Gallagher, M.J., Narasimhan, V.J., 1997. ADTEST: A Test Data Generation Suite For ADA Software Systems. IEEE Trans. Software Engrg. 23 (8), 473-484.
9. Hooke, R., Jeeves, T.A., 1961. Direct search solution of numerical and statistical problems. J. Assoc. of Comp. Machines 8, 212-229.
10. Howden, W.E., 1976. Reliability of the path analysis testing strategy IEEE Trans. Software Engrg. 2 (3), 208-215.
11. Iri, M., Tanabe, K. (Eds.), 1989. Mathematical programming: recent developments and applications, Kluwer Academic Publishers, Dordrecht.
12. Jeng, B., 1990. A new approach to domain testing, Ph.D. Thesis, Department of Computer Sciences, Courant Institute of Mathematical Sciences, New York University.
13. Jeng, B., Weyuker, E.J., 1994. A simplified domain testing strategy. ACM Trans, on Soft. Engrg. and Methodology 3 (3), 254-270.
14. Jeng, B., 1999. Toward an integration of data flow and domain testing. J. Systems and Software 45 (1), 19-30.
15. Korel, B., 1990. Automated software test data generation. IEEE Trans. Software Engrg. 16 (8), 870-879.
16. Knuth, D.E., 1971. An empirical study of FORTRAN programs. Software-Practice and Experience 1, 105-133.
17. Minoux, M., Vajda, S., 1986. Mathematical programming: theory and algorithms, Wiley, Chichester.
18. Nilsson, N.J., 1980. Principles of Artificial Intelligence. Tioga Publishing Company, Palo Alto, CA.
19. Ramamoorthy, C., Ho, S., Chen, W., 1976. On the automated generation of program test data. IEEE Trans. Software Engrg. 2 (4), 293-300.
20. Rosen, J.B., 1960. The gradient projection method for nonlinear programming, part I, linear constraints. J. Soc. Ind. Appl. Math 8, 181-217.
21. Smith, D.K., 1986. A minimization solver for many parameters. J. Quality Tech. 18 (4), 248-254.
22. White, L.J., Cohen, E.I., 1980. A domain strategy for computer program testing. IEEE Trans. Software Engrg. 6 (3), 247-257.
23. Wilde, D.J., 1964. Optimum Seeking Methods, Prentice-Hall, Englewood Cliffs, NJ.
24. Winston, P.H., 1993. Artificial Intelligence, 3/e. Addison-Wesley, Reading, MA.
25. Winston, W.L., 1991. Introduction to Mathematical Programming: Applications and Algorithms, Boston, PWS-Kent Publication Co.
26. Zeil, S.J., Afifi, F.H., White, L.J., 1992. Detection of linear errors via domain testing. ACM Trans. Software Engrg Meth. 1 (4), 422-451.