-
1
-
-
80052908858
-
Ten years of search based software engineering: A bibliometric analysis
-
Springer, Berlin, Germany
-
F. de Freitas and J. de Souza, "Ten years of search based software engineering: a bibliometric analysis, " in Search Based Software Engineering, vol. 6956 of Lecture Notes in Computer Science, pp. 18-32, Springer, Berlin, Germany, 2011.
-
(2011)
Search Based Software Engineering, Vol. 6956 of Lecture Notes in Computer Science
, pp. 18-32
-
-
De Freitas, F.1
De Souza, J.2
-
2
-
-
0033170385
-
Test cases generation from UML state diagrams
-
Y. G. Kim, H. S. Hong, D. H. Bae, and S. D. Cha, "Test cases generation from UML state diagrams, " IEE Proceedings: Software, vol. 146, no. 4, pp. 187-192, 1999.
-
(1999)
IEE Proceedings: Software
, vol.146
, Issue.4
, pp. 187-192
-
-
Kim, Y.G.1
Hong, H.S.2
Bae, D.H.3
Cha, S.D.4
-
3
-
-
4444243326
-
Formal test-case generation for UML statecharts
-
April
-
S. Gnesi, D. Latella, and M. Massink, "Formal test-case generation for UML statecharts, " in Proceedings 9th IEEE International Conference on Engineering Complex Computer System: Navigating Complexity in the e-Engineering Age (ICECCS 04), pp. 75-84, April 2004.
-
(2004)
Proceedings 9th IEEE International Conference on Engineering Complex Computer System: Navigating Complexity in the E-Engineering Age (ICECCS 04)
, pp. 75-84
-
-
Gnesi, S.1
Latella, D.2
Massink, M.3
-
4
-
-
84860421891
-
Transition coverage testing for simulink/stateflow models using messy genetic algorithms
-
July 2011
-
J. Oh, M. Harman, and S. Yoo, "Transition coverage testing for simulink/stateflow models using messy genetic algorithms, " in Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, pp. 1851-1858, July 2011.
-
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference
, pp. 1851-1858
-
-
Oh, J.1
Harman, M.2
Yoo, S.3
-
5
-
-
84860395790
-
A multi-objective evolutionary algorithm to obtain test cases with variable lengths
-
NewYork, NY, USA, July 2011
-
T. Yano, E. Martins, and F. L. de Sousa, "A multi-objective evolutionary algorithm to obtain test cases with variable lengths, " in Proceeding of the 13th Annual Genetic and Evolutionary Computation Conference (GECCO'11), pp. 1875-1882, NewYork, NY, USA, July 2011.
-
Proceeding of the 13th Annual Genetic and Evolutionary Computation Conference (GECCO'11)
, pp. 1875-1882
-
-
Yano, T.1
Martins, E.2
De Sousa, F.L.3
-
6
-
-
3142725712
-
Search-based software test data generation: A survey
-
P. McMinn, "Search-based software test data generation: a survey, " Software Testing Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
-
(2004)
Software Testing Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
7
-
-
0023385308
-
The program dependence graph and its use in optimization
-
J. Ferrante, K. J. Ottenstein, and J. D. Warren, "The program dependence graph and its use in optimization, " ACM Transactions on Programming Languages and Systems, vol. 9, no. 3, pp. 319-349, 1987.
-
(1987)
ACM Transactions on Programming Languages and Systems
, vol.9
, Issue.3
, pp. 319-349
-
-
Ferrante, J.1
Ottenstein, K.J.2
Warren, J.D.3
-
8
-
-
0016971687
-
Symbolic execution and program testing
-
ACM
-
J. C. King, "Symbolic execution and program testing, " Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
-
(1976)
Communications of the
, vol.19
, Issue.7
, pp. 385-394
-
-
King, J.C.1
-
9
-
-
0003603813
-
-
W. H. Freeman, San Francisco, Calif, USA
-
M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to theTheory ofNP-Completeness, W. H. Freeman, San Francisco, Calif, USA, 1979.
-
(1979)
Computers and Intractability: A Guide to TheTheory OfNP-Completeness
-
-
Garey, M.R.1
Johnson, D.S.2
-
10
-
-
0016674309
-
SELECT-a formal system for testing and debugging programs by symbolic execution
-
R. S. Boyer, B. Elspas, and K. N. Levitt, "SELECT-a formal system for testing and debugging programs by symbolic execution, " ACM SigPlan Notices, vol. 10, no. 6, pp. 234-245, 1975.
-
(1975)
ACM SigPlan Notices
, vol.10
, Issue.6
, pp. 234-245
-
-
Boyer, R.S.1
Elspas, B.2
Levitt, K.N.3
-
11
-
-
0017240825
-
On the automated generation of program test data
-
C. V. Ramamoorthy, S.-B. F. Ho, and W. T. Chen, "On the automated generation of program test data, " IEEE Transactions on Software Engineering, vol. SE-2, no. 4, pp. 293-300, 1976.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.4
, pp. 293-300
-
-
Ramamoorthy, C.V.1
Ho, S.-B.F.2
Chen, W.T.3
-
12
-
-
0026222968
-
Constraint-based automatic test data generation
-
R. A. DeMillo and A. J. Offutt, "Constraint-based automatic test data generation, " IEEE Transactions on Software Engineering, vol. 17, no. 9, pp. 900-910, 1991.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.9
, pp. 900-910
-
-
DeMillo, R.A.1
Offutt, A.J.2
-
13
-
-
0033077271
-
The dynamic domain reduction procedure for test data generation
-
A. J. Offutt, Z. Jin, and J. Pan, "The dynamic domain reduction procedure for test data generation, " Software-Practice and Experience, vol. 29, no. 2, pp. 167-193, 1999.
-
(1999)
Software-Practice and Experience
, vol.29
, Issue.2
, pp. 167-193
-
-
Offutt, A.J.1
Jin, Z.2
Pan, J.3
-
14
-
-
0016992793
-
Automatic generation of floatingpoint test data
-
W. Miller and D. L. Spooner, "Automatic generation of floatingpoint test data, " IEEE Transactions on Software Engineering, vol. 2, no. 3, pp. 223-226, 1976.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.3
, pp. 223-226
-
-
Miller, W.1
Spooner, D.L.2
-
15
-
-
85030139012
-
Automated test data generation for programs with procedures
-
B. Korel, "Automated test data generation for programs with procedures, " ACMSIGSOFT Software Engineering Notes, vol. 21, no. 3, pp. 209-215, 1996.
-
(1996)
ACMSIGSOFT Software Engineering Notes
, vol.21
, Issue.3
, pp. 209-215
-
-
Korel, B.1
-
16
-
-
85032873485
-
An automated framework for structural test-data generation
-
IEEE
-
N. Tracey, J. Clark, K. Mander, and J. McDermid, "An automated framework for structural test-data generation, " in Proceedings of the 13th IEEE International Conference on Automated Software Engineering, pp. 285-288, IEEE, 1998.
-
(1998)
Proceedings of the 13th IEEE International Conference on Automated Software Engineering
, pp. 285-288
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
McDermid, J.4
-
17
-
-
0002541414
-
The way forward for unifying dynamic test-case generation: The optimization based approach
-
N. Tracey, J. Clark, and K. Mander, "The way forward for unifying dynamic test-case generation: the optimization based approach, " in Proceedings of the International Workshop on Dependable Computing and ItsApplications (DCIA'98), pp. 169-180, 1998.
-
(1998)
Proceedings of the International Workshop on Dependable Computing and ItsApplications (DCIA'98)
, pp. 169-180
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
18
-
-
77953783952
-
Computer aided software testing using genetic algorithms
-
Software Research Institute, San Francisco, Calif, USA
-
M. Roper, "Computer aided software testing using genetic algorithms, " in Proceedings of the 10th International Software Quality Week (QW 97), Software Research Institute, San Francisco, Calif, USA, 1997.
-
(1997)
Proceedings of the 10th International Software Quality Week (QW 97)
-
-
Roper, M.1
-
19
-
-
0006558050
-
The automatic generation of test data using genetic algorithms
-
A. Watkins, "The automatic generation of test data using genetic algorithms, " in Proceedings of the 4th Software Quality Conference, vol. 2, pp. 300-309, 1995.
-
(1995)
Proceedings of the 4th Software Quality Conference
, vol.2
, pp. 300-309
-
-
Watkins, A.1
-
20
-
-
0347688968
-
Application of genetic algorithms to software testing
-
S. Xanthakis, C. Ellis, C. Skourlas, A. Le Gall, S. Katsikas, and K. Karapoulios, "Application of genetic algorithms to software testing, " in Proceedings of the 5th International Conference on Software Engineering and Its Applications, pp. 625-636, 1992.
-
(1992)
Proceedings of the 5th International Conference on Software Engineering and Its Applications
, pp. 625-636
-
-
Xanthakis, S.1
Ellis, C.2
Skourlas, C.3
Le Gall, A.4
Katsikas, S.5
Karapoulios, K.6
-
21
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
B. F. Jones, H.-H. Sthamer, and D. E. Eyres, "Automatic structural testing using genetic algorithms, " Software Engineering Journal, vol. 11, no. 5, pp. 299-306, 1996.
-
(1996)
Software Engineering Journal
, vol.11
, Issue.5
, pp. 299-306
-
-
Jones, B.F.1
Sthamer, H.-H.2
Eyres, D.E.3
-
22
-
-
0035678269
-
Generating software test data by evolution
-
C. C. Michael, G. McGraw, and M. A. Schatz, "Generating software test data by evolution, " IEEE Transactions on Software Engineering, vol. 27, no. 12, pp. 1085-1110, 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.12
, pp. 1085-1110
-
-
Michael, C.C.1
McGraw, G.2
Schatz, M.A.3
-
23
-
-
0033343346
-
Test-data generation using genetic algorithms
-
R. Pargas, M. Harrold, and R. Peck, "Test-data generation using genetic algorithms, " Software Testing Verification and Reliability, vol. 9, no. 4, pp. 263-282, 1999.
-
(1999)
Software Testing Verification and Reliability
, vol.9
, Issue.4
, pp. 263-282
-
-
Pargas, R.1
Harrold, M.2
Peck, R.3
-
24
-
-
0010731513
-
A searchbased automated test-data generation framework for safety critical systems
-
New Directions
-
N. Tracey, J. Clark, J. McDermid, and K. Mander, "A searchbased automated test-data generation framework for safety critical systems, " in Systems Engineering for Business Process Change: New Directions, pp. 174-213, 2002.
-
(2002)
Systems Engineering for Business Process Change
, pp. 174-213
-
-
Tracey, N.1
Clark, J.2
McDermid, J.3
Mander, K.4
-
25
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary test environment for automatic structural testing, " Information and Software Technology, vol. 43, no. 14, pp. 841-854, 2001.
-
(2001)
Information and Software Technology
, vol.43
, Issue.14
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
-
26
-
-
3142761074
-
Automatic test data generation for structural testing of embedded software systems by evolutionary testing
-
J. Wegener, K. Buhr, and H. Pohlheim, "Automatic test data generation for structural testing of embedded software systems by evolutionary testing, " in Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 02), pp. 1233-1240, 2002.
-
(2002)
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 02)
, pp. 1233-1240
-
-
Wegener, J.1
Buhr, K.2
Pohlheim, H.3
-
27
-
-
22944478376
-
Constructing multiple unique input/output sequences using metaheuristic optimisation techniques
-
Q. Guo, R. M. Hierons, M. Harman, and K. Derderian, "Constructing multiple unique input/output sequences using metaheuristic optimisation techniques, " IEE Proceedings: Software, vol. 152, no. 3, pp. 127-140, 2005.
-
(2005)
IEE Proceedings: Software
, vol.152
, Issue.3
, pp. 127-140
-
-
Guo, Q.1
Hierons, R.M.2
Harman, M.3
Derderian, K.4
-
28
-
-
68749108649
-
Aiding test case generation in temporally constrained state based systems using genetic algorithms
-
K. Derderian, M. Merayo, R. Hierons, and M. Nunez, "Aiding test case generation in temporally constrained state based systems using genetic algorithms, " in Bio-Inspired Systems: Computational and Ambient Intelligence, pp. 327-334, 2009.
-
(2009)
Bio-Inspired Systems: Computational and Ambient Intelligence
, pp. 327-334
-
-
Derderian, K.1
Merayo, M.2
Hierons, R.3
Nunez, M.4
-
30
-
-
36849007497
-
A search-based framework for automatic testing of MATLAB/Simulink models
-
Y. Zhan and J. A. Clark, "A search-based framework for automatic testing of MATLAB/Simulink models, " Journal of Systems and Software, vol. 81, no. 2, pp. 262-285, 2008.
-
(2008)
Journal of Systems and Software
, vol.81
, Issue.2
, pp. 262-285
-
-
Zhan, Y.1
Clark, J.A.2
-
31
-
-
35048852992
-
Search based automatic test-data generation at an architectural level
-
Y. Zhan and J. Clark, "Search based automatic test-data generation at an architectural level, " Genetic and Evolutionary Computation-GECCO 2004, vol. 3103, pp. 1413-1424, 2004.
-
(2004)
Genetic and Evolutionary Computation-GECCO
, vol.3103
, pp. 1413-1424
-
-
Zhan, Y.1
Clark, J.2
-
32
-
-
0038594080
-
Automatic test generation from statecharts using model checking
-
NS-01-4 of BRICS Notes Series
-
H. Hong, I. Lee, O. Sokolsky, and S. Cha, "Automatic test generation from statecharts using model checking, " in Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES 01), vol. NS-01-4 of BRICS Notes Series, pp. 15-30, 2001.
-
(2001)
Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES 01)
, pp. 15-30
-
-
Hong, H.1
Lee, I.2
Sokolsky, O.3
Cha, S.4
-
33
-
-
0003584577
-
-
Prentice Hall, New York, NY, USA
-
S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, New York, NY, USA, 2010.
-
(2010)
Artificial Intelligence: A Modern Approach
-
-
Russell, S.1
Norvig, P.2
-
35
-
-
0001195181
-
Evidence on economies of scale in software development
-
R. D. Banker, H. Chang, and C. F. Kemerer, "Evidence on economies of scale in software development, " Information and Software Technology, vol. 36, no. 5, pp. 275-282, 1994.
-
(1994)
Information and Software Technology
, vol.36
, Issue.5
, pp. 275-282
-
-
Banker, R.D.1
Chang, H.2
Kemerer, C.F.3
|