-
1
-
-
0004013190
-
-
Back T., Fogel D.B., and Michalewicz Z. (Eds), Institute of Physics Publishing, Bristol
-
In: Back T., Fogel D.B., and Michalewicz Z. (Eds). Evolutionary Computations I (2000), Institute of Physics Publishing, Bristol
-
(2000)
Evolutionary Computations I
-
-
-
3
-
-
0016993577
-
A system to generate test data and symbolically execute programs
-
Clarke L.A. 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.A.1
-
6
-
-
33646508390
-
-
S. Horwitz, Tool support for improving test coverage. In Proceedings of ESOP 2002: European Symposium on Programming, 2002.
-
-
-
-
7
-
-
0017518741
-
Symbolic testing and the DISSECT symbolic evaluation system
-
Howden W.E. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Transactions on Software Engineering 3 4 (1977) 266-278
-
(1977)
IEEE Transactions on Software Engineering
, vol.3
, Issue.4
, pp. 266-278
-
-
Howden, W.E.1
-
8
-
-
33646501568
-
-
B. Jones, H. Sthamer, D. Eyres, The automatic generation of software test data sets using adaptive search techniques, Proceedings of Third International Conference on Software Quality Management, vol. 2, 1995 pp. 435-444.
-
-
-
-
9
-
-
85030139012
-
-
B. Korel. Automatic Test Data Generation for programs with Procedures. Proceedings of International Symposium of Software Testing and Analysis, pp. 209-215, 1996.
-
-
-
-
10
-
-
3142725712
-
Search-based software test data generation: a survey
-
McMinn P. Search-based software test data generation: a survey. Software Testing, Verification and Reliability 14 2 (2004) 105-156
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
15
-
-
33646521801
-
-
P. Thevenhod-Fosse, H. Waeselynck, STATEMATE: applied to statistical software testing, Proceedings of the 1998 International Symposium on Software Testing and Analysis, 1998.
-
-
-
-
16
-
-
84969570914
-
-
N. Tracy, J. Clark, K. Mander, Automated program flaw finding using simulated annealing, Proceedings of the 1998 International Symposium on Software Testing and Analysis, 1998.
-
-
-
-
17
-
-
0033880192
-
Automated test-data generation for exception conditions
-
Tracy N., Clark J., Mander K., and McDermid J. Automated test-data generation for exception conditions. Software Practice and Experience 30 1 (2000) 61-79
-
(2000)
Software Practice and Experience
, vol.30
, Issue.1
, pp. 61-79
-
-
Tracy, N.1
Clark, J.2
Mander, K.3
McDermid, J.4
-
18
-
-
0026119962
-
Predicting where faults can hide from testing
-
Voas J.M., Morell L., and Miller K.W. Predicting where faults can hide from testing. IEEE Software 8 2 (1991) 41-48
-
(1991)
IEEE Software
, vol.8
, Issue.2
, pp. 41-48
-
-
Voas, J.M.1
Morell, L.2
Miller, K.W.3
-
19
-
-
33646519510
-
-
A. Watkins, The automatic generation of test data using genetic algorithms, Proceedings of the 4th Software Quality Conference, vol. 2, 1995, pp. 300-309.
-
-
-
-
20
-
-
0036389531
-
Suitability of evolutionary algorithms for evolutionary testing
-
Wegener J., Baresel A., and Sthamer H. Suitability of evolutionary algorithms for evolutionary testing. COMPSAC (2002) 287-289
-
(2002)
COMPSAC
, pp. 287-289
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
|