-
1
-
-
0000344507
-
Automatic generation of random self-checking test cases
-
D. Bird C. Muñoz "Automatic generation of random self-checking test cases," IBM Systems Journal Vol. 22 No. 3 1982 pp. 229-245.
-
(1982)
IBM Systems Journal
, vol.22
, Issue.3
, pp. 229-245
-
-
Bird, D.1
Muñoz, C.2
-
2
-
-
0016674309
-
SELECT - A formal system for testing and debugging programs by symbolic execution
-
R. Boyer B. Eispas K. Levitt "SELECT - A formal system for testing and debugging programs by symbolic execution," SIGPLAN Notices Vol. 10 No. 6,1975 pp. 234-245.
-
(1975)
SIGPLAN Notices
, vol.10
, Issue.6
, pp. 234-245
-
-
Boyer, R.1
Eispas, B.2
Levitt, K.3
-
3
-
-
0016993577
-
A system to generate test data and symbolically execute
-
IEEE Tran. Software Eng
-
L. Clarke ' A system to generate test data and symbolically execute Proc. Trans," IEEE Tran. Software Eng. Vol. 2 No. 3 1976 pp. 215-222.
-
(1976)
Proc. Trans
, vol.2
, Issue.3
, pp. 215-222
-
-
Clarke, L.1
-
4
-
-
0026222968
-
Constraint-based automatic test data generation
-
R. DeMillo A Offutt "Constraint-based automatic test data generation," IEEE Trans. Software Eng. Vol. 17 No. 9,1991 pp. 900-910
-
(1991)
IEEE Trans. Software Eng
, vol.17
, Issue.9
, pp. 900-910
-
-
DeMillo, R.1
Offutt, A.2
-
11
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
W. Howden "Symbolic testing and the DISSECT symbolic evaluation system," IEEE Tran on Software Eng. Vol. SE-3 No. 4,1977 pp. 266-278.
-
(1977)
IEEE Tran on Software Eng
, vol.SE3
, Issue.4
, pp. 266-278
-
-
Howden, W.1
-
12
-
-
0023104276
-
The program dependence graph in static program testing
-
B. Korel "The program dependence graph in static program testing," Information Processing Letters vol. 24 No. 2 1987 pp. 103-108.
-
(1987)
Information Processing Letters
, vol.24
, Issue.2
, pp. 103-108
-
-
Korel, B.1
-
14
-
-
0025472647
-
Automated software test data generation,"
-
B. Korel "Automated software test data generation," IEEE Tran on Software Eng. Vol. 16 No. 8,1990 pp. 870-879.
-
(1990)
IEEE Tran on Software Eng
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
16
-
-
17144430845
-
TESTGEN - An execution-oriented test data generation system
-
Department of Computer Science Illinois Institute of Technology
-
B. Korel 'TESTGEN - An execution-oriented test data generation system," Technical Report TR.-SE-95-01 Department of Computer Science Illinois Institute of Technology 1995.
-
(1995)
Technical Report TR.-SE-95-01
-
-
Korel, B.1
-
19
-
-
0025510772
-
A study of Integration testing and software regression at the integration level
-
H. Leung L. White "A study of Integration testing and software regression at the integration level," Proc. Conf. on Software Maintenance 1990 pp. 290-301.
-
(1990)
Proc. Conf. on Software Maintenance
, pp. 290-301
-
-
Leung, H.1
White, L.2
-
20
-
-
0017240825
-
On the automated generation of program test data,"
-
C. Ramamoorthy S. Ho W. Chen "On the automated generation of program test data," IEEE Tran on Software Eng. Vol. SE-2 No. 4,1976 pp. 293-300.
-
(1976)
IEEE Tran on Software Eng
, vol.SE2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.1
Ho, S.2
Chen, W.3
-
22
-
-
0027847471
-
Selecting tests and identifying test coverage requirements for modified software
-
G. Rothermel M. J. Harrold "Selecting tests and identifying test coverage requirements for modified software," Proc. Conf. on Software Maintenance 1993 pp. 358-367.
-
(1993)
Proc. Conf. on Software Maintenance
, pp. 358-367
-
-
Rothermel, G.1
Harrold, M.J.2
-
23
-
-
0001208865
-
Analyzing regression test selection techniques
-
G. Rothermel M. J. Harrold "Analyzing regression test selection techniques," IEEE Tran on Software Eng. Vol. SE-22 No. 8,1996 pp. 529-551.
-
(1996)
IEEE Tran on Software Eng
, vol.SE22
, Issue.8
, pp. 529-551
-
-
Rothermel, G.1
Harrold, M.J.2
-
25
-
-
0021457061
-
Program slicing
-
M. Weiser "Program slicing," IEEE Trans on Software Eng. vol. SE-10 No. 4,1982 pp. 352-357.
-
(1982)
IEEE Trans on Software Eng
, vol.SE10
, Issue.4
, pp. 352-357
-
-
Weiser, M.1
|