-
1
-
-
0347688968
-
Application of genetic algorithms to software testing
-
Toulouse, France
-
Xanthakis S, Ellis C, Skourlas C, Gall AL, Katsikas S, Karapoulios K,. Application of genetic algorithms to software testing, Proceedings of the 5th International Conference on Software Engineering and Applications, Toulouse, France, 1992; 625-636.
-
(1992)
Proceedings of the 5th International Conference on Software Engineering and Applications
, pp. 625-636
-
-
Xanthakis, S.1
Ellis, C.2
Skourlas, C.3
Gall, A.L.4
Katsikas, S.5
Karapoulios, K.6
-
3
-
-
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
-
4
-
-
34748859982
-
The current state and future of search based software engineering
-
In, IEEE Computer Society: Minneapolis, Minnesota, USA
-
Harman M,. The current state and future of search based software engineering. In Proceedings of International Conference on Software Engineering/Future of Software Engineering 2007 (ICSE/FOSE '07), IEEE Computer Society: Minneapolis, Minnesota, USA, 2007; 342-357.
-
(2007)
Proceedings of International Conference on Software Engineering/Future of Software Engineering 2007 (ICSE/FOSE '07)
, pp. 342-357
-
-
Harman, M.1
-
6
-
-
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
-
7
-
-
0004097670
-
-
(2nd edn), Van Nostrand Reinhold Co.: New York, NY, USA
-
Beizer B,. Software Testing Techniques, (2nd edn), Van Nostrand Reinhold Co.: New York, NY, USA, 1990.
-
(1990)
Software Testing Techniques
-
-
Beizer, B.1
-
8
-
-
23744445816
-
Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach
-
Baresel A, Binkley DW, Harman M, Korel B,. Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach, International Symposium on Software Testing and Analysis (ISSTA 2004), 2004; 108-118.
-
(2004)
International Symposium on Software Testing and Analysis (ISSTA 2004)
, pp. 108-118
-
-
Baresel, A.1
Binkley, D.W.2
Harman, M.3
Korel, B.4
-
9
-
-
72749112680
-
Tabu search for automated loop coverage in software testing
-
Porto
-
Díaz E, Blanco R, Tuya J,. Tabu search for automated loop coverage in software testing, Proceedings of the International Conference on Knowledge Engineering and Decision Support (ICKEDS), Porto, 2006; 229-234.
-
(2006)
Proceedings of the International Conference on Knowledge Engineering and Decision Support (ICKEDS)
, pp. 229-234
-
-
Díaz, E.1
Blanco, R.2
Tuya, J.3
-
11
-
-
0033880192
-
Automated test-data generation for exception conditions
-
Tracey N, Clark J, Mander K, McDermid J,. Automated test-data generation for exception conditions. Software Practice and Experience 2000; 30 (1): 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
-
13
-
-
40249100301
-
GA-based multiple paths test data generator
-
Ahmed MA, Hermadi I,. GA-based multiple paths test data generator. Computers and Operations Research 2008; 35 (10): 3107-3124.
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3107-3124
-
-
Ahmed, M.A.1
Hermadi, I.2
-
14
-
-
33748286990
-
Search-based software test data generation for string data using program-specific search operators
-
Alshraideh M, Bottaci L,. search-based software test data generation for string data using program-specific search operators. Software Testing, Verification and Reliability 2006; 16 (3): 175-203.
-
(2006)
Software Testing, Verification and Reliability
, vol.16
, Issue.3
, pp. 175-203
-
-
Alshraideh, M.1
Bottaci, L.2
-
15
-
-
33847722665
-
Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques
-
Xiao M, El-Attar M, Reformat M, Miller J,. Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques. Empirical Software Engineering 2007; 12 (2): 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
-
16
-
-
40249118430
-
A tabu search algorithm for structural software testing
-
Díaz E, Tuya J, Blanco R, Dolado JJ,. A tabu search algorithm for structural software testing. Computers and Operations Research 2008; 35 (10): 3052-3072.
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3052-3072
-
-
Díaz, E.1
Tuya, J.2
Blanco, R.3
Dolado, J.J.4
-
17
-
-
77953750964
-
Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem
-
IEEE: Paris, France.
-
Harman M, Kim SG, Lakhotia K, McMinn P, Yoo S,. Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem. In Proceedings of the 3rd International Workshop on search-based Software Testing (SBST) in conjunction with ICST 2010, IEEE: Paris, France, 2010; 182-191.
-
(2010)
Proceedings of the 3rd International Workshop on Search-based Software Testing (SBST) in Conjunction with ICST 2010
, pp. 182-191
-
-
Harman, M.1
Kim, S.G.2
Lakhotia, K.3
McMinn, P.4
Yoo, S.5
-
18
-
-
34548073627
-
A multi-objective approach to search-based test data generation
-
ACM: New York, NY, USA
-
Lakhotia K, Harman M, McMinn P,. A multi-objective approach to search-based test data generation. In GECCO '07: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation. ACM: New York, NY, USA, 2007; 1098-1105.
-
(2007)
GECCO '07: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation
, pp. 1098-1105
-
-
Lakhotia, K.1
Harman, M.2
McMinn, P.3
-
19
-
-
0036530772
-
A fast and elitist multiobjective genetic algorithm: NSGA-II
-
Deb KD, Pratap A, Agarwal S, Meyarivan T,. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation 2002; 6 (2): 182-197.
-
(2002)
IEEE Transactions on Evolutionary Computation
, vol.6
, Issue.2
, pp. 182-197
-
-
Deb, K.D.1
Pratap, A.2
Agarwal, S.3
Meyarivan, T.4
-
20
-
-
67650812323
-
MOCell: A cellular genetic algorithm for multiobjective optimization
-
Nebro AJ, Durillo JJ, Luna F, Dorronsoro B, Alba E,. MOCell: A cellular genetic algorithm for multiobjective optimization. International Journal of Intelligent Systems 2009; 24 (7): 726-746.
-
(2009)
International Journal of Intelligent Systems
, vol.24
, Issue.7
, pp. 726-746
-
-
Nebro, A.J.1
Durillo, J.J.2
Luna, F.3
Dorronsoro, B.4
Alba, E.5
-
21
-
-
34548079372
-
Design issues in a multiobjective cellular genetic algorithm
-
Obayashi S. Deb K. Poloni C. Hiroyasu T. Murata T. (eds). Springer: Heidelberg, Germany
-
Nebro AJ, Durillo JJ, Luna F, Dorronsoro B, Alba E,. Design issues in a multiobjective cellular genetic algorithm. In Evolutionary Multi-Criterion Optimization. 4th International Conference, EMO 2007, Lecture Notes in Computer Science, Vol. 4403, Obayashi S, Deb K, Poloni C, Hiroyasu T, Murata T, (eds). Springer: Heidelberg, Germany, 2007; 126-140.
-
(2007)
Evolutionary Multi-Criterion Optimization. 4th International Conference, EMO 2007, Lecture Notes in Computer Science
, vol.4403
, pp. 126-140
-
-
Nebro, A.J.1
Durillo, J.J.2
Luna, F.3
Dorronsoro, B.4
Alba, E.5
-
22
-
-
0004140075
-
-
Technical Report 103, Gloriastrasse 35, CH-8092 Zurich, Switzerland
-
Zitzler E, Laumanns M, Thiele L,. SPEA2: improving the strength Pareto evolutionary algorithm, Technical Report 103, Gloriastrasse 35, CH-8092 Zurich, Switzerland, 2001.
-
(2001)
SPEA2: Improving the Strength Pareto Evolutionary Algorithm
-
-
Zitzler, E.1
Laumanns, M.2
Thiele, L.3
-
23
-
-
79959458808
-
-
IEEE Press: Mayflower Hotel: Washington D.C., USA
-
Angeline PJ, Michalewicz Z, Schoenauer M, Yao X, Zalzala A, (eds.). In The Pareto Archived Evolution Strategy: A New Baseline Algorithm for Pareto Multiobjective Optimisation, Vol. 1, IEEE Press: Mayflower Hotel: Washington D.C., USA, 1999.
-
(1999)
The Pareto Archived Evolution Strategy: A New Baseline Algorithm for Pareto Multiobjective Optimisation
, vol.1
-
-
Angeline, P.J.1
Michalewicz, Z.2
Schoenauer, M.3
Yao, X.4
Zalzala, A.5
-
27
-
-
77954486547
-
It really does matter how you normalize the branch distance in search-based software testing
-
DOI: 10.1002/stvr.457
-
Arcuri A,. It really does matter how you normalize the branch distance in search-based software testing. Software Testing, Verification and Reliability 2011. DOI: 10.1002/stvr.457.
-
(2011)
Software Testing, Verification and Reliability
-
-
Arcuri, A.1
-
30
-
-
33646678271
-
-
1, chap. 9, Evolution Strategies, IOP Publishing Lt: New York, USA
-
Rudolph G,. Evolutionary Computation 1. Basic Algorithms and Operators, vol. 1, chap. 9, Evolution Strategies, IOP Publishing Lt: New York, USA, 2000. 81-88.
-
(2000)
Evolutionary Computation 1. Basic Algorithms and Operators
, pp. 81-88
-
-
Rudolph, G.1
-
31
-
-
34248139109
-
February A tutorial on the performance assessment of stochastic multiobjective optimizers
-
ETH Zurich, February
-
Knowles J, Thiele L, Zitzler E,. February A tutorial on the performance assessment of stochastic multiobjective optimizers, TIK Report 214, Computer Engineering and Networks Laboratory (TIK), ETH Zurich, February 2006.
-
(2006)
TIK Report 214, Computer Engineering and Networks Laboratory (TIK)
-
-
Knowles, J.1
Thiele, L.2
Zitzler, E.3
-
32
-
-
0033318858
-
Multiobjective evolutionary algorithms: A comparative case study and the strength Pareto approach
-
Zitzler E, Thiele L,. Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach. IEEE Transactions on Evolutionary Computation 1999; 3 (4): 257-271.
-
(1999)
IEEE Transactions on Evolutionary Computation
, vol.3
, Issue.4
, pp. 257-271
-
-
Zitzler, E.1
Thiele, L.2
-
33
-
-
33846971667
-
A summary-attainment-surface plotting method for visualizing the performance of stochastic multiobjective optimizers
-
Knowles J,. A summary-attainment-surface plotting method for visualizing the performance of stochastic multiobjective optimizers, International Conference on Intelligent Systems Deisgn and Applications, 2005; 552-557.
-
(2005)
International Conference on Intelligent Systems Deisgn and Applications
, pp. 552-557
-
-
Knowles, J.1
-
34
-
-
40249088314
-
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
-
Alba E, Chicano F,. Observations in using parallel and sequential evolutionary algorithms for automatic software testing. Computers and Operations Research 2008; 35 (10): 3161-3183.
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3161-3183
-
-
Alba, E.1
Chicano, F.2
-
35
-
-
0016674275
-
A new approach to program testing
-
King JC,. A new approach to program testing. SIGPLAN Notices 1975; 10: 228-233.
-
(1975)
SIGPLAN Notices
, vol.10
, pp. 228-233
-
-
King, J.C.1
-
36
-
-
0016971687
-
Symbolic execution and program testing
-
King JC,. Symbolic execution and program testing. Communications of the ACM 1976; 19: 385-394.
-
(1976)
Communications of the ACM
, vol.19
, pp. 385-394
-
-
King, J.C.1
-
41
-
-
79954620568
-
Evolutionary repair of faulty software
-
Arcuri A,. Evolutionary repair of faulty software. Applied Soft Computing 2011; 11: 3494-3514.
-
(2011)
Applied Soft Computing
, vol.11
, pp. 3494-3514
-
-
Arcuri, A.1
-
43
-
-
51049093485
-
JMetal: A Java framework for developing multi-objective optimization metaheuristics
-
Departamento de Lenguajes y Ciencias de la Computaciõn, University of Maálaga, E.T.S.I. Informática, Campus de Teatinos, December
-
Durillo JJ, Nebro AJ, Luna F, Dorronsoro B, Alba E,. jMetal: a Java framework for developing multi-objective optimization metaheuristics, Technical Report ITI-2006-10, Departamento de Lenguajes y Ciencias de la Computaciõn, University of Maálaga, E.T.S.I. Informática, Campus de Teatinos, December 2006.
-
(2006)
Technical Report ITI-2006-10
-
-
Durillo, J.J.1
Nebro, A.J.2
Luna, F.3
Dorronsoro, B.4
Alba, E.5
-
44
-
-
84888634780
-
-
Springer-Verlag: Heidelberg
-
Alba E, Dorronsoro B,. Cellular Genetic Algorithms, Operations Research/Computer Science Interfaces, Vol. 42, Springer-Verlag: Heidelberg, 2008.
-
(2008)
Cellular Genetic Algorithms, Operations Research/Computer Science Interfaces
, vol.42
-
-
Alba, E.1
Dorronsoro, B.2
|