-
1
-
-
84981613791
-
The economics of software quality assurance
-
AFIPS Press, Montvale
-
D. S. Alberts, The economics of software quality assurance, AFIPS Conf. Proc.: 1976 National Computer Conference, Vol. 45, AFIPS Press, Montvale, pp. 433-442.
-
AFIPS Conf. Proc.: 1976 National Computer Conference
, vol.45
, pp. 433-442
-
-
Alberts, D.S.1
-
4
-
-
0023287327
-
The automatic generation of test data
-
D. C. Ince, The automatic generation of test data, The Computer Journal, 30 (1987) 63-69.
-
(1987)
The Computer Journal
, vol.30
, pp. 63-69
-
-
Ince, D.C.1
-
6
-
-
0020752281
-
A general-purpose algorithm for analyzing concurrent programs
-
R. Taylor, A general-purpose algorithm for analyzing concurrent programs, Comm. ACM, 26 (1983) 362-376.
-
(1983)
Comm. ACM
, vol.26
, pp. 362-376
-
-
Taylor, R.1
-
7
-
-
0024092198
-
Combining static concurrency analysis with symbolic execution
-
M. Young and R. Taylor, Combining static concurrency analysis with symbolic execution, IEEE Transactions Software Engineering, 14 (1988) 1499-1511.
-
(1988)
IEEE Transactions Software Engineering
, vol.14
, pp. 1499-1511
-
-
Young, M.1
Taylor, R.2
-
8
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
L. A. Clarke, A system to generate test data and symbolically execute programs, IEEE Transactions on Software Engineering, SE-2 (1976) 215-222.
-
(1976)
IEEE Transactions on Software Engineering
, vol.SE-2
, pp. 215-222
-
-
Clarke, L.A.1
-
11
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
W. E. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Transactions on Software Engineering, 4 (1977) 266-278.
-
(1977)
IEEE Transactions on Software Engineering
, vol.4
, pp. 266-278
-
-
Howden, W.E.1
-
12
-
-
84909824950
-
TESTGEN-a structural test data generation system
-
Washington, DC
-
B. Korel, TESTGEN-a structural test data generation system, 6th Int. Conf. on Software Testing, Washington, DC, 1989.
-
(1989)
6th Int. Conf. on Software Testing
-
-
Korel, B.1
-
14
-
-
0025511418
-
A dynamic approach of automated test data generation
-
San Diego, CA
-
B. Korel, A dynamic approach of automated test data generation, Conf. on Software Maintenance, San Diego, CA, 1990, pp. 311-317.
-
(1990)
Conf. on Software Maintenance
, pp. 311-317
-
-
Korel, B.1
-
16
-
-
30244480626
-
Automated test data generation for distributed software
-
Tokyo, Japan
-
B. Korel, H. Wedde and R. Ferguson, Automated test data generation for distributed software, Proc. COMPSAC-91 Conf., Tokyo, Japan, 1991.
-
(1991)
Proc. COMPSAC-91 Conf.
-
-
Korel, B.1
Wedde, H.2
Ferguson, R.3
-
17
-
-
38249012655
-
Dynamic method of test data generation for distributed software
-
B. Korel, H. Wedde and R. Ferguson, Dynamic method of test data generation for distributed software, Inf. Soft. Tech. (1992) 523-531.
-
Inf. Soft. Tech.
, vol.1992
, pp. 523-531
-
-
Korel, B.1
Wedde, H.2
Ferguson, R.3
-
18
-
-
30244547991
-
The chaining approach for software test data generation
-
Wayne State University Department of Computer Science
-
R. Ferguson and B. Korel, The chaining approach for software test data generation, Technical Report CSC-94-001, Wayne State University Department of Computer Science, 1994.
-
(1994)
Technical Report CSC-94-001
-
-
Ferguson, R.1
Korel, B.2
-
19
-
-
0022313847
-
Reproducible testing of concurrent Ada programs
-
San Francisco, CA
-
K. C. Tai, Reproducible Testing of Concurrent Ada Programs, SoftFair: 2nd Conf. on Software Development Tools, Techniques and Alternatives, San Francisco, CA, 1985, pp. 114-121.
-
(1985)
Softfair: 2nd Conf. on Software Development Tools, Techniques and Alternatives
, pp. 114-121
-
-
Tai, K.C.1
-
22
-
-
0011691468
-
Sequential search: A method for solving constrained optimization problems
-
H. Glass and L. Cooper, Sequential search: a method for solving constrained optimization problems, Journal of ACM, 12 (1965) 71-82.
-
(1965)
Journal of ACM
, vol.12
, pp. 71-82
-
-
Glass, H.1
Cooper, L.2
-
23
-
-
0025510535
-
Dynamic slicing in computer programs
-
B. Korel and J. Laski, Dynamic slicing in computer programs, J. Systems and Software, 13 (1990) 187-195.
-
(1990)
J. Systems and Software
, vol.13
, pp. 187-195
-
-
Korel, B.1
Laski, J.2
|