-
1
-
-
0000344507
-
Automatic generation of random self-checking test cases
-
D. Bird, C. Munoz, Automatic generation of random self-checking test cases, IBM Systems Journal 22(3), 1982, 229-245.
-
(1982)
IBM Systems Journal
, vol.22
, Issue.3
, pp. 229-245
-
-
Bird, D.1
Munoz, C.2
-
2
-
-
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, 10(6), 1975, 234-245.
-
(1975)
SIGPLAN Notices
, vol.10
, Issue.6
, pp. 234-245
-
-
Boyer, R.1
Elspas, B.2
Levitt, K.3
-
3
-
-
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, 2(3), 1976, 215-222.
-
(1976)
IEEE Transactions on Software Engineering
, 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 Transactions on Software Engineering, 77(9), 1991, 900-910.
-
(1991)
IEEE Transactions on Software Engineering
, vol.77
, Issue.9
, pp. 900-910
-
-
Demillo, R.1
Offutt, A.2
-
5
-
-
0029723725
-
Chaining Approach for Automated Test Data Generation
-
R. Ferguson, B. Korel, Chaining Approach for Automated Test Data Generation, ACM Transaction on Software Engineering and Methodology, 5(1), 1996, 63-86.
-
(1996)
ACM Transaction on Software Engineering and Methodology
, vol.5
, Issue.1
, pp. 63-86
-
-
Ferguson, R.1
Korel, B.2
-
6
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
W. Howden, Symbolic testing and the DISSECT symbolic evaluation system, IEEE Transactions on Software Engineering, 4(4), 1977, 266-278.
-
(1977)
IEEE Transactions on Software Engineering
, vol.4
, Issue.4
, pp. 266-278
-
-
Howden, W.1
-
7
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
B. Jones, et al., Automatic structural testing using genetic algorithms, Software Engineering Journal, 11(5), 1996, 299-306.
-
(1996)
Software Engineering Journal
, vol.11
, Issue.5
, pp. 299-306
-
-
Jones, 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, 2, 1992, 203-213.
-
(1992)
Journal of Software Testing, Verification, and Reliability
, vol.2
, pp. 203-213
-
-
Korel, B.1
-
10
-
-
0035678269
-
Generating software test data by evolution
-
C. Michael, et al., Generating software test data by evolution, IEEE Transactions on Software Engineering, 27(12), 2001, 1085-1110.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.12
, pp. 1085-1110
-
-
Michael, C.1
-
11
-
-
0033343346
-
Test data generation using genetic algorithms
-
R. Pargas, et al., Test data generation using genetic algorithms, Software Journal of Software Testing, Verification, and Reliability, 9, 1999, 263-282.
-
(1999)
Software Journal of Software Testing, Verification, and Reliability
, vol.9
, pp. 263-282
-
-
Pargas, R.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, 2(4), 1976, 293-300.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.1
Ho, S.2
Chen, W.3
-
13
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
J. Wegener, et al., Evolutionary test environment for automatic structural testing, Information and Software Technology, 43, 2001, 841-854.
-
(2001)
Information and Software Technology
, vol.43
, pp. 841-854
-
-
Wegener, J.1
-
14
-
-
35248870635
-
Evolutionary testing of flag conditions
-
Chicago, IL
-
A. Baresel, H. Sthamer, Evolutionary testing of flag conditions, Genetic and Evolutionary Computation Conference, Chicago, IL, 2003, 2442-2454.
-
(2003)
Genetic and Evolutionary Computation Conference
, pp. 2442-2454
-
-
Baresel, A.1
Sthamer, H.2
-
15
-
-
35248831654
-
The state problem for evolutionary testing
-
Chicago, IL
-
P. Mcminn, M. Holcombe, The state problem for evolutionary testing, Genetic and Evolutionary Computation Conference, Chicago, IL, 2003, 2488-2498.
-
(2003)
Genetic and Evolutionary Computation Conference
, pp. 2488-2498
-
-
McMinn, P.1
Holcombe, M.2
-
16
-
-
0016778318
-
Some experience with automated aids to the design of large-scale reliable software
-
Los Angeles, CA
-
B. Boehm, R. McClean, D. Urfig, Some experience with automated aids to the design of large-scale reliable software, Proceedings of the International Conference on Reliable Software, Los Angeles, CA, 1975, 105-113.
-
(1975)
Proceedings of the International Conference on Reliable Software
, pp. 105-113
-
-
Boehm, B.1
McClean, R.2
Urfig, D.3
|