-
1
-
-
3142725712
-
Search-based software test data generation: A survey
-
McMinn P. Search-based software test data generation: A survey. Software Testing, Verification and Reliability 2004; 14(2):105-156.
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
3
-
-
0016971687
-
Symbolic execution and program testing
-
King JC. Symbolic execution and program testing. Communications of the ACM 1976; 19(7):385-394.
-
(1976)
Communications of the ACM
, vol.19
, Issue.7
, pp. 385-394
-
-
King, J.C.1
-
7
-
-
84969570914
-
Automated program flaw finding using simulated annealing
-
Clearwater Beach, FL, March 1998. Published as Software Engineering Notes
-
Tracey N, Clark J, Mander K. Automated program flaw finding using simulated annealing. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998), Clearwater Beach, FL, March 1998. Published as Software Engineering Notes 1998; 23(2):73-81.
-
(1998)
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 1998)
, vol.23
, Issue.2
, pp. 73-81
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
11
-
-
0011763896
-
Improving evolutionary testing by flag removal
-
New York, July 2002. Morgan Kaufmann: San Francisco, CA
-
Harman M, Hu L, Hierons; R, Baresel A, Sthamer H. Improving evolutionary testing by flag removal. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002), New York, July 2002. Morgan Kaufmann: San Francisco, CA, 2002; 1359-1366.
-
(2002)
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002)
, pp. 1359-1366
-
-
Harman, M.1
Hu, L.2
Hierons, R.3
Baresel, A.4
Sthamer, H.5
-
12
-
-
0025472647
-
Automated software test data generation
-
Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 1990; 16(8):870-879.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
14
-
-
33748288469
-
Character string predicate based automatic software test data generation
-
Dallas, TX, November 2003. IEEE Computer Society Press: Los Alamitos, CA
-
Zhao, R, Lyu MR. Character string predicate based automatic software test data generation. Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), Dallas, TX, November 2003. IEEE Computer Society Press: Los Alamitos, CA, 2003; 255-263.
-
(2003)
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003)
, pp. 255-263
-
-
Zhao, R.1
Lyu, M.R.2
-
16
-
-
0345566149
-
A guided tour to approximate string matching
-
Navarro G. A guided tour to approximate string matching. ACM Computing Surveys 2001; 33(1):31-88.
-
(2001)
ACM Computing Surveys
, vol.33
, Issue.1
, pp. 31-88
-
-
Navarro, G.1
-
17
-
-
35248882471
-
Predicate expression cost functions to guide evolutionary search for test data
-
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003): Part II, Chicago, IL, July 2003 Springer: Berlin
-
Bottaci L. Predicate expression cost functions to guide evolutionary search for test data. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2003): Part II, Chicago, IL, July 2003 (Lecture Notes in Computer Science, vol. 2724). Springer: Berlin, 2003; 2455-2464.
-
(2003)
Lecture Notes in Computer Science
, vol.2724
, pp. 2455-2464
-
-
Bottaci, L.1
-
19
-
-
0003389370
-
The GENITOR algorithm and selective pressure: Why rank based allocation of reproductive trials is best
-
Fairfax, VA, June 1989. Morgan Kaufmann: San Francisco, CA
-
Whitley D. The GENITOR algorithm and selective pressure: Why rank based allocation of reproductive trials is best. Proceedings of the 3rd International Conference on Genetic Algorithms, Fairfax, VA, June 1989. Morgan Kaufmann: San Francisco, CA, 1989; 116-121.
-
(1989)
Proceedings of the 3rd International Conference on Genetic Algorithms
, pp. 116-121
-
-
Whitley, D.1
|