-
1
-
-
0028731942
-
Automatic generation of path covers based on the control flow analysis of computer programs
-
Bertolino, A. and Marre, M. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Softw. Eng., 20 (12), 885899, 1994.
-
(1994)
IEEE Trans. Softw. Eng
, vol.20
, Issue.12
, pp. 885899
-
-
Bertolino, A.1
Marre, M.2
-
2
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
Clarke, L. 1976. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng. SE-2, 3, 215-222.
-
(1976)
IEEE Trans. Softw. Eng
, vol.3 SE2
, pp. 215-222
-
-
Clarke, L.1
-
3
-
-
0029723725
-
The chaining approach for software test data generation
-
January
-
Ferguson, R, Korel, B. The chaining approach for software test data generation. ACM Trans. Softw. Eng. Method, Vol. 5, No. 1, January 1996, 63-86.
-
(1996)
ACM Trans. Softw. Eng. Method
, vol.5
, Issue.1
, pp. 63-86
-
-
Ferguson, R.1
Korel, B.2
-
5
-
-
0016994996
-
Reliability of the path analysis testing strategy
-
Sept
-
Howden, W. E. 1976. Reliability of the path analysis testing strategy. IEEE Trans. Softw. Eng. SE-2, 3 (Sept.), 208-215.
-
(1976)
IEEE Trans. Softw. Eng
, vol.3 SE2
, pp. 208-215
-
-
Howden, W.E.1
-
6
-
-
85029687067
-
Partial statistical test coverage and abstract testing
-
San Francisco, May
-
Howden, W. E. Partial statistical test coverage and abstract testing. Proc. of the Quality Week, San Francisco, May 1997.
-
(1997)
Proc. of the Quality Week
-
-
Howden, W.E.1
-
7
-
-
0041037606
-
-
New York Univ., Dept. of Computer Science, Ph.D Thesis, Aug
-
Jeng, B. 1990. A new approach to domain testing. New York Univ., Dept. of Computer Science, Ph.D. Thesis, Aug.
-
(1990)
A New Approach to Domain Testing
-
-
Jeng, B.1
-
8
-
-
0028479361
-
A simplified domain-testing strategy
-
July
-
Jeng, B., Weyuker, E. J. A simplified domain-testing strategy. ACM Trans. Softw. Eng. Method, Vol. 3, No. 3, July 1994, 254-270.
-
(1994)
ACM Trans. Softw. Eng. Method
, vol.3
, Issue.3
, pp. 254-270
-
-
Jeng, B.1
Weyuker, E.J.2
-
11
-
-
0025472647
-
Automated software test data generation
-
Aug
-
Korel, B. 1990. Automated software test data generation. IEEE Trans. Softw. Eng., 8 (Aug.), 870-879.
-
(1990)
IEEE Trans. Softw. Eng
, vol.8
, pp. 870-879
-
-
Korel, B.1
-
12
-
-
0021517864
-
On required element testing
-
Nov
-
Ntafos, S. C, 1984. On required element testing. IEEE Trans. Softw. Eng, 10 (6), 795-803, Nov.
-
(1984)
IEEE Trans. Softw. Eng
, vol.10
, Issue.6
, pp. 795-803
-
-
Ntafos, S.C.1
-
13
-
-
0022043004
-
Selecting test data using data flow information
-
Apr
-
Rapps, S., Weyuker, E. J. 1985. Selecting test data using data flow information. IEEE Trans. Softw. Eng., 11 (4), 367-374, Apr.
-
(1985)
IEEE Trans. Softw. Eng
, vol.11
, Issue.4
, pp. 367-374
-
-
Rapps, S.1
Weyuker, E.J.2
-
14
-
-
0019018929
-
A domain strategy for computer program testing
-
White, L. J. and Cohen, E. I. 1980. A domain strategy for computer program testing. IEEE Trans. Softw. Eng., 6 (3), 247-257.
-
(1980)
IEEE Trans. Softw. Eng
, vol.6
, Issue.3
, pp. 247-257
-
-
White, L.J.1
Cohen, E.I.2
-
15
-
-
0024911119
-
Reducing the effects of infeasible paths in branch testing
-
Yates, D. F., Malevris, N. 1989. Reducing the effects of infeasible paths in branch testing. ACM SIGSOFT Software Engineering Notes, 14 (8), 48-54.
-
(1989)
ACM SIGSOFT Software Engineering Notes
, vol.14
, Issue.8
, pp. 48-54
-
-
Yates, D.F.1
Malevris, N.2
|