-
2
-
-
0000344507
-
Automatic generation of random selfchecking test cases
-
D. Bird, C. Munoz, "Automatic generation of random selfchecking 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
Munoz, C.2
-
3
-
-
0016674309
-
SELECT - A formal system for testing and debugging programs by symbolic execution
-
R. Boyer, B. Elspas, 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
Elspas, B.2
Levitt, K.3
-
4
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
L. Clarke, "A system to generate test data and symbolically execute programs," IEEE Transactions on Software Engineering, Vol. 2, No. 3, 1976, pp. 215-222.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.3
, pp. 215-222
-
-
Clarke, L.1
-
5
-
-
0026222968
-
Constraint-based automatic test data generation
-
R. DeMillo, A. Offutt, "Constraint-based automatic test data generation," IEEE Transactions on Software Engineering, Vol. 17, No. 9, 1991, pp. 900-910.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.9
, pp. 900-910
-
-
DeMillo, R.1
Offutt, A.2
-
6
-
-
0029723725
-
The chaining approach for software test data generation
-
R. Ferguson, B. Korel, "The chaining approach for software test data generation," ACM Tran. on Software Eng. and Methodology, Vol. 5, No. 1, 1996, pp. 63-86.
-
(1996)
ACM Tran. on Software Eng. and Methodology
, vol.5
, Issue.1
, pp. 63-86
-
-
Ferguson, R.1
Korel, B.2
-
7
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
W. Howden, "Symbolic testing and the DISSECT symbolic evaluation system," IEEE Transactions on Software Engineering, Vol. SE-3, No. 4, 1977, pp. 266-278.
-
(1977)
IEEE Transactions on Software Engineering
, vol.SE-3
, Issue.4
, pp. 266-278
-
-
Howden, W.1
-
8
-
-
0025472647
-
Automated software test data generation
-
B. Korel, "Automated software test data generation," IEEE Transactions on Software Engineering, Vol. 16, No. 8, 1990, pp. 870-879.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
9
-
-
0027020685
-
Dynamic method for software test data generation
-
B. Korel, "Dynamic method for software test data generation," Journal of Software Testing, Verification and Reliability, Vol. 2, 1992, pp. 203-213.
-
(1992)
Journal of Software Testing, Verification and Reliability
, vol.2
, pp. 203-213
-
-
Korel, B.1
-
12
-
-
0017240825
-
On the automated generation of program test data
-
C. Ramamoorthy, S. Ho, W. Chen, "On the automated generation of program test data," IEEE Transactions on Software Engineering, SE-2, No. 4, 1976, pp. 293-300.
-
(1976)
IEEE Transactions on Software Engineering
, vol.SE-2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.1
Ho, S.2
Chen, W.3
-
13
-
-
85008049457
-
COTS software the economical choice?
-
March/April
-
J. Voas, "COTS Software the Economical Choice?", IEEE Software, March/April 1998, pp. 16-19.
-
(1998)
IEEE Software
, pp. 16-19
-
-
Voas, J.1
|