-
1
-
-
40249100301
-
GA-based multiple paths test data generator
-
Ahmed M.A., and Hermadi I. GA-based multiple paths test data generator. Computers and Operations Research 35 10 (2008) 3107-3124
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3107-3124
-
-
Ahmed, M.A.1
Hermadi, I.2
-
2
-
-
40249088314
-
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
-
Alba E., and Chicano F. Observations in using parallel and sequential evolutionary algorithms for automatic software testing. Computers and Operations Research 35 10 (2008) 3161-3183
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3161-3183
-
-
Alba, E.1
Chicano, F.2
-
3
-
-
40249088314
-
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
-
Alba E., and Chicano F. Observations in using parallel and sequential evolutionary algorithms for automatic software testing. Computers and Operations Research 35 10 (2008) 3161-3183
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3161-3183
-
-
Alba, E.1
Chicano, F.2
-
5
-
-
19944369835
-
New heuristic algorithms for the windy rural postman problem
-
Benavent E., Corberán A., Piñana E., Plana I., and Sanchis J.M. New heuristic algorithms for the windy rural postman problem. Computers and Operational Research 32 12 (2005) 3111-3128
-
(2005)
Computers and Operational Research
, vol.32
, Issue.12
, pp. 3111-3128
-
-
Benavent, E.1
Corberán, A.2
Piñana, E.3
Plana, I.4
Sanchis, J.M.5
-
6
-
-
58549102543
-
-
R. Blanco, J. Tuya, E. Díaz, B.A. Díaz, A scatter search approach for automated coverage in software testing, in: Proceedings of the First International Conference on Knowledge Engineering and Decision Support, 2004, pp. 387-393.
-
R. Blanco, J. Tuya, E. Díaz, B.A. Díaz, A scatter search approach for automated coverage in software testing, in: Proceedings of the First International Conference on Knowledge Engineering and Decision Support, 2004, pp. 387-393.
-
-
-
-
9
-
-
52249117352
-
-
P.M.S. Bueno, W.E. Wong, M. Jino, Improving random test sets using the diversity oriented test data generation, in: Proceedings of the Second International Workshop on Random Testing, 2007, pp. 10-17.
-
P.M.S. Bueno, W.E. Wong, M. Jino, Improving random test sets using the diversity oriented test data generation, in: Proceedings of the Second International Workshop on Random Testing, 2007, pp. 10-17.
-
-
-
-
12
-
-
10644283185
-
Mirror adaptive random testing
-
Chen T.Y., Kuo F.-C., Merkel R.G., and Ng S.P. Mirror adaptive random testing. Information and Software Technology 46 15 (2004) 1001-1010
-
(2004)
Information and Software Technology
, vol.46
, Issue.15
, pp. 1001-1010
-
-
Chen, T.Y.1
Kuo, F.-C.2
Merkel, R.G.3
Ng, S.P.4
-
14
-
-
0038044864
-
Reformulating software engineering as a search problem
-
Clarke J., Dolado J.J., Harman M., M Hierons R., Jones B., Lumkin M., Mitchell B., Mancoridis S., Rees K., Roper M., and Shepperd M. Reformulating software engineering as a search problem. IEE Proceedings - Software 150 3 (2003) 161-175
-
(2003)
IEE Proceedings - Software
, vol.150
, Issue.3
, pp. 161-175
-
-
Clarke, J.1
Dolado, J.J.2
Harman, M.3
M Hierons, R.4
Jones, B.5
Lumkin, M.6
Mitchell, B.7
Mancoridis, S.8
Rees, K.9
Roper, M.10
Shepperd, M.11
-
15
-
-
40449126880
-
Detecting buffer overflow via automatic test input data generation
-
Del Grosso C., Antoniol G., Merlo E., and Galinier P. Detecting buffer overflow via automatic test input data generation. Computers and Operational Research 35 10 (2008) 3125-3143
-
(2008)
Computers and Operational Research
, vol.35
, Issue.10
, pp. 3125-3143
-
-
Del Grosso, C.1
Antoniol, G.2
Merlo, E.3
Galinier, P.4
-
17
-
-
58549101536
-
-
E. Díaz, Generación automática de pruebas estructurales de software mediante Búsqueda Tabú, Ph.D. Thesis Department of Computer Science, University of Oviedo, 2004.
-
E. Díaz, Generación automática de pruebas estructurales de software mediante Búsqueda Tabú, Ph.D. Thesis Department of Computer Science, University of Oviedo, 2004.
-
-
-
-
18
-
-
58549100519
-
-
E. Díaz, R. Blanco, J. Tuya, Applying Tabú and scatter search to automated software test case generation, in: Proceedings of the Sixth Metaheuristics International Conference, 2005, pp. 290-297.
-
E. Díaz, R. Blanco, J. Tuya, Applying Tabú and scatter search to automated software test case generation, in: Proceedings of the Sixth Metaheuristics International Conference, 2005, pp. 290-297.
-
-
-
-
19
-
-
58549114239
-
-
E. Díaz, J. Tuya, R. Blanco, Automated software testing using a metaheuristic technique based on Tabu search, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 310-313.
-
E. Díaz, J. Tuya, R. Blanco, Automated software testing using a metaheuristic technique based on Tabu search, in: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 310-313.
-
-
-
-
20
-
-
40249118430
-
A Tabu search algorithm for software testing
-
Díaz E., Tuya J., Blanco R., and Dolado J.J. A Tabu search algorithm for software testing. Computers and Operational Research 35 10 (2008) 3052-3072
-
(2008)
Computers and Operational Research
, vol.35
, Issue.10
, pp. 3052-3072
-
-
Díaz, E.1
Tuya, J.2
Blanco, R.3
Dolado, J.J.4
-
21
-
-
34548648506
-
Selection and evaluation of test data based on genetic programming
-
Emer M.C., and Vergilio S.R. Selection and evaluation of test data based on genetic programming. Software Quality Journal 11 (2003) 167-186
-
(2003)
Software Quality Journal
, vol.11
, pp. 167-186
-
-
Emer, M.C.1
Vergilio, S.R.2
-
23
-
-
23844461111
-
Automatic test data generation for data flow testing using a genetic algorithm
-
Girgis M.R. Automatic test data generation for data flow testing using a genetic algorithm. Journal of Universal Computer Science 11 6 (2005) 898-915
-
(2005)
Journal of Universal Computer Science
, vol.11
, Issue.6
, pp. 898-915
-
-
Girgis, M.R.1
-
24
-
-
0347899800
-
Fundamentals of scatter search and path relinking
-
Glover F., Laguna M., and Martí R. Fundamentals of scatter search and path relinking. Control and Cybernetics 39 3 (2000) 653-684
-
(2000)
Control and Cybernetics
, vol.39
, Issue.3
, pp. 653-684
-
-
Glover, F.1
Laguna, M.2
Martí, R.3
-
25
-
-
0003722376
-
-
Addison-Wesley, Boston, MA, USA
-
Goldberg D. Genetic Algorithms in Search, Optimization, and Machine Learning (1989), Addison-Wesley, Boston, MA, USA
-
(1989)
Genetic Algorithms in Search, Optimization, and Machine Learning
-
-
Goldberg, D.1
-
28
-
-
0036983314
-
Is ISSTA research relevant to industry?
-
Hartman A. Is ISSTA research relevant to industry?. ACM SIGSOFT Software Engineering Notes 27 4 (2002) 205-206
-
(2002)
ACM SIGSOFT Software Engineering Notes
, vol.27
, Issue.4
, pp. 205-206
-
-
Hartman, A.1
-
29
-
-
0002220316
-
A strategy for using genetic algorithms to automate branch and fault-based testing
-
Jones B.F., Eyres D.E., and Sthamer H.H. A strategy for using genetic algorithms to automate branch and fault-based testing. The Computer Journal 41 2 (1998) 98-107
-
(1998)
The Computer Journal
, vol.41
, Issue.2
, pp. 98-107
-
-
Jones, B.F.1
Eyres, D.E.2
Sthamer, H.H.3
-
31
-
-
0025472647
-
Automated software test data generation
-
Korel B. Automated software test data generation. IEEE Transactions on Software Engineering 16 8 (1990) 879-890
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 879-890
-
-
Korel, B.1
-
32
-
-
58549100111
-
-
M. Laguna, R. Marti, Experimental testing of advanced scatter search designs for global optimization of multimodal functions, Technical report TR11-2000, Departamento de Estadística e Investigación Operativa, University of Valencia, 2000.
-
M. Laguna, R. Marti, Experimental testing of advanced scatter search designs for global optimization of multimodal functions, Technical report TR11-2000, Departamento de Estadística e Investigación Operativa, University of Valencia, 2000.
-
-
-
-
33
-
-
1842579147
-
-
Kluwer Academic Publishers, Boston, MA, USA
-
Laguna M., and Martí R. Scatter search: methodology and implementations in C (2002), Kluwer Academic Publishers, Boston, MA, USA
-
(2002)
Scatter search: methodology and implementations in C
-
-
Laguna, M.1
Martí, R.2
-
36
-
-
0035058220
-
Automatic test data generation for path testing using gas
-
Lin J., and Yeh P. Automatic test data generation for path testing using gas. Information Sciences 131 1-4 (2001) 47-64
-
(2001)
Information Sciences
, vol.131
, Issue.1-4
, pp. 47-64
-
-
Lin, J.1
Yeh, P.2
-
38
-
-
13844322280
-
Evolutionary software engineering, a review
-
Mantere T., and Alander J.T. Evolutionary software engineering, a review. Applied Soft Computing 5 3 (2005) 315-331
-
(2005)
Applied Soft Computing
, vol.5
, Issue.3
, pp. 315-331
-
-
Mantere, T.1
Alander, J.T.2
-
39
-
-
25444474000
-
Scatter search - wellsprings and challenges
-
Martí R. Scatter search - wellsprings and challenges. European Journal of Operational Research 169 2 (2006) 351-358
-
(2006)
European Journal of Operational Research
, vol.169
, Issue.2
, pp. 351-358
-
-
Martí, R.1
-
41
-
-
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
-
42
-
-
33646091521
-
Evolutionary testing using an extended chaining approach
-
McMinn P., and Holcombe M. Evolutionary testing using an extended chaining approach. Evolutionary Computation 14 1 (2006) 41.6
-
(2006)
Evolutionary Computation
, vol.14
, Issue.1
-
-
McMinn, P.1
Holcombe, M.2
-
43
-
-
0035360360
-
ATGen: automatic test data generation using constraint logic programming and symbolic execution
-
Meudec C. ATGen: automatic test data generation using constraint logic programming and symbolic execution. Software Testing Verification and Reliability 11 2 (2001) 81-96
-
(2001)
Software Testing Verification and Reliability
, vol.11
, Issue.2
, pp. 81-96
-
-
Meudec, C.1
-
45
-
-
33646513034
-
Automatic test data generation using genetic algorithm and program dependence graphs
-
Miller J., Reformat M., and Zhang H. Automatic test data generation using genetic algorithm and program dependence graphs. Information and Software Technology 48 (2006) 586-605
-
(2006)
Information and Software Technology
, vol.48
, pp. 586-605
-
-
Miller, J.1
Reformat, M.2
Zhang, H.3
-
47
-
-
42649110693
-
Heuristics-based infeasible path detection for dynamic test data generation
-
Ngo M.N., and Tan H.B.K. Heuristics-based infeasible path detection for dynamic test data generation. Information and Software Technology 50 (2008) 641-655
-
(2008)
Information and Software Technology
, vol.50
, pp. 641-655
-
-
Ngo, M.N.1
Tan, H.B.K.2
-
48
-
-
85008455387
-
-
S. Ntafos, On random and partition testing, in: Proceedings of the International Symposium on Software Testing and Analysis, 1998, pp. 42-48.
-
S. Ntafos, On random and partition testing, in: Proceedings of the International Symposium on Software Testing and Analysis, 1998, pp. 42-48.
-
-
-
-
49
-
-
58549106811
-
-
A.J. Offut, J. Pan, K. Tewary, T. Zhang, Experiments with data flow and mutation testing, Technical Report ISSE-TR-94-105, 1994.
-
A.J. Offut, J. Pan, K. Tewary, T. Zhang, Experiments with data flow and mutation testing, Technical Report ISSE-TR-94-105, 1994.
-
-
-
-
50
-
-
38849110667
-
Heuristic solutions for locating health resources
-
Pacheco J.A., Álvarez A., Casado S., and Alegre J.F. Heuristic solutions for locating health resources. IEEE Intelligent Systems 23 1 (2008) 57-63
-
(2008)
IEEE Intelligent Systems
, vol.23
, Issue.1
, pp. 57-63
-
-
Pacheco, J.A.1
Álvarez, A.2
Casado, S.3
Alegre, J.F.4
-
52
-
-
25444507750
-
Scatter search for the vehicle routing problem with time windows
-
Russell R.A., and Chiang W.C. Scatter search for the vehicle routing problem with time windows. European Journal of Operational Research 169 2 (2006) 606-622
-
(2006)
European Journal of Operational Research
, vol.169
, Issue.2
, pp. 606-622
-
-
Russell, R.A.1
Chiang, W.C.2
-
53
-
-
25444492071
-
Scatter Search in software testing, comparison and collaboration with estimation of distribution algorithms
-
Sagarna R., and Lozano J.A. Scatter Search in software testing, comparison and collaboration with estimation of distribution algorithms. European Journal of Operational Research 169 2 (2006) 392-412
-
(2006)
European Journal of Operational Research
, vol.169
, Issue.2
, pp. 392-412
-
-
Sagarna, R.1
Lozano, J.A.2
-
54
-
-
58549105761
-
-
H.H. Sthamer, The automatic generation of software test data using genetic algorithms, Ph.D. Thesis, University of Glamorgan, 1996.
-
H.H. Sthamer, The automatic generation of software test data using genetic algorithms, Ph.D. Thesis, University of Glamorgan, 1996.
-
-
-
-
55
-
-
23744485743
-
-
P. Tonella, Evolutionary testing of classes, in: Proceedings of the ACM SIGSOFT International Symposium of Software Testing and Analysis, 2004, pp. 119-128.
-
P. Tonella, Evolutionary testing of classes, in: Proceedings of the ACM SIGSOFT International Symposium of Software Testing and Analysis, 2004, pp. 119-128.
-
-
-
-
56
-
-
84969570914
-
-
N. Tracey, J. Clark, K. Mander, Automated program flaw finding using simulated annealing, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998, pp. 73-81.
-
N. Tracey, J. Clark, K. Mander, Automated program flaw finding using simulated annealing, in: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998, pp. 73-81.
-
-
-
-
57
-
-
0033880192
-
Automated test data generation for exception conditions
-
Tracey 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
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
McDermid, J.4
-
59
-
-
33846673551
-
Simulated annealing applied to test generation: landscape characterization and stopping criteria
-
Waeselynck H., Thévenod-Fosse P., and Abdellatif-Kaddour O. Simulated annealing applied to test generation: landscape characterization and stopping criteria. Empirical Software Engineering 12 1 (2007) 35-63
-
(2007)
Empirical Software Engineering
, vol.12
, Issue.1
, pp. 35-63
-
-
Waeselynck, H.1
Thévenod-Fosse, P.2
Abdellatif-Kaddour, O.3
-
60
-
-
30544443570
-
Evolutionary test data generation: a comparison of fitness functions
-
Watkins A., and Hufnagel E.M. Evolutionary test data generation: a comparison of fitness functions. Software Practice and Experience 36 (2006) 95-116
-
(2006)
Software Practice and Experience
, vol.36
, pp. 95-116
-
-
Watkins, A.1
Hufnagel, E.M.2
-
61
-
-
33646419778
-
Using genetic algorithms and decision tree induction to classify software failures
-
Watkins A., Hufnagel E.M., Berndt D., and Johnson L. Using genetic algorithms and decision tree induction to classify software failures. International Journal of Software Engineering and Knowledge Engineering 16 2 (2006) 269-291
-
(2006)
International Journal of Software Engineering and Knowledge Engineering
, vol.16
, Issue.2
, pp. 269-291
-
-
Watkins, A.1
Hufnagel, E.M.2
Berndt, D.3
Johnson, L.4
-
63
-
-
33847722665
-
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques
-
Xiao M., El-Attar M., Reformat M., and Miller J. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering 12 2 (2007) 183-239
-
(2007)
Empirical Software Engineering
, vol.12
, Issue.2
, pp. 183-239
-
-
Xiao, M.1
El-Attar, M.2
Reformat, M.3
Miller, J.4
-
65
-
-
0031354777
-
Software unit test coverage and adequacy
-
Zhu H., Hal P.A.V., and May J.H.R. Software unit test coverage and adequacy. ACM Computing Surveys 29 4 (1997) 366-427
-
(1997)
ACM Computing Surveys
, vol.29
, Issue.4
, pp. 366-427
-
-
Zhu, H.1
Hal, P.A.V.2
May, J.H.R.3
|