-
1
-
-
33745254726
-
DART: Directed automated random testing
-
P. Godefroid, N. Klarlund, and K. Sen, "DART: directed automated random testing," Programming language design and implementation (PLDI 2005), 2005, pp. 213-223.
-
(2005)
Programming Language Design and Implementation (PLDI 2005)
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
3
-
-
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
-
4
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
DOI 10.1016/S0950-5849(01)00190-2, PII S0950584901001902
-
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. (Pubitemid 33050964)
-
(2001)
Information and Software Technology
, vol.43
, Issue.14
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
-
5
-
-
40249084207
-
Evolutionary functional testing
-
O. Buehler and J. Wegener, "Evolutionary functional testing," Computers and Operations Research, vol. 35, no. 10, pp. 3144-3160 2008.
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3144-3160
-
-
Buehler, O.1
Wegener, J.2
-
6
-
-
79951512547
-
Using search-based algorithms for Ajax event sequence generation during testing
-
A. Marchetto and P. Tonella, "Using search-based algorithms for Ajax event sequence generation during testing," Empirical Software Engineering, vol. 16, no. 1, pp. 103-140, 2011.
-
(2011)
Empirical Software Engineering
, vol.16
, Issue.1
, pp. 103-140
-
-
Marchetto, A.1
Tonella, P.2
-
7
-
-
0037587652
-
Constructing test suites for interaction testing
-
M. B. Cohen, P. B. Gibbons, W. B. Mugridge, and C. J. Colbourn, "Constructing test suites for interaction testing," in International Conference on Software Engineering (ICSE 2003), 2003, pp. 38-48.
-
International Conference on Software Engineering (ICSE 2003), 2003
, pp. 38-48
-
-
Cohen, M.B.1
Gibbons, P.B.2
Mugridge, W.B.3
Colbourn, C.J.4
-
8
-
-
32444445648
-
Stress testing real-time systems with genetic algorithms
-
L. C. Briand, Y. Labiche, and M. Shousha, "Stress testing real-time systems with genetic algorithms," in Genetic and Evolutionary Computation Conference (GECCO 2005), 2005, pp. 1021-1028.
-
Genetic and Evolutionary Computation Conference (GECCO 2005), 2005
, pp. 1021-1028
-
-
Briand, L.C.1
Labiche, Y.2
Shousha, M.3
-
10
-
-
69749103111
-
Test case evaluation and input domain reduction strategies for the evolutionary testing of object-oriented software
-
J. Ribeiro, M. Zenha-Rela, and F. de Vega, "Test case evaluation and input domain reduction strategies for the evolutionary testing of object-oriented software," Information and Software Technology, vol. 51, pp. 1534-1548, 2009.
-
(2009)
Information and Software Technology
, vol.51
, pp. 1534-1548
-
-
Ribeiro, J.1
Zenha-Rela, M.2
De Vega, F.3
-
12
-
-
0002541414
-
The way forward for unifying dynamic test-case generation: The optimisation-based approach
-
N. Tracey, J. Clark, and K. Mander, "The way forward for unifying dynamic test-case generation: The optimisation-based approach," in International Work-shop on Dependable Computing and Its Applications, 1998, pp. 169-180.
-
International Work-shop on Dependable Computing and Its Applications, 1998
, pp. 169-180
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
14
-
-
78649790932
-
Reducing qualitative human oracle costs associated with automatically generated test data
-
P. McMinn, M. Stevenson, and M. Harman, "Reducing qualitative human oracle costs associated with automatically generated test data," in 1st International Workshop on Software Test Output Validation (STOV 2010), 2010, pp. 1-4.
-
1st International Workshop on Software Test Output Validation (STOV 2010), 2010
, pp. 1-4
-
-
McMinn, P.1
Stevenson, M.2
Harman, M.3
-
15
-
-
84862314632
-
-
The SEBASE repository, http://crestweb.cs.ucl.ac.uk/resources/sbse- repository/
-
The SEBASE Repository
-
-
-
16
-
-
77950626862
-
A theoretical and empirical study of search-based testing: Local, global and hybrid search
-
M. Harman and P. McMinn, "A theoretical and empirical study of search-based testing: Local, global and hybrid search," IEEE Transactions on Software Engineering, vol. 36, pp. 226-247, 2010.
-
(2010)
IEEE Transactions on Software Engineering
, vol.36
, pp. 226-247
-
-
Harman, M.1
McMinn, P.2
-
17
-
-
33748286990
-
Search-based software test data generation for string data using program-specific search operators
-
M. Alshraideh and L. Bottaci, "Search-based software test data generation for string data using program-specific search operators," Software Testing, Verification and Reliability, pp. 175-203, 2006.
-
(2006)
Software Testing, Verification and Reliability
, pp. 175-203
-
-
Alshraideh, M.1
Bottaci, L.2
-
23
-
-
0003389370
-
The GENITOR algorithm and selection pressure: Why rank-based allocation of reproductive trials is best
-
D. Whitley, "The GENITOR algorithm and selection pressure: Why rank-based allocation of reproductive trials is best," in International Conference on Genetic Algorithms (ICGA 1989), 1989, pp. 116-121.
-
International Conference on Genetic Algorithms (ICGA 1989), 1989
, pp. 116-121
-
-
Whitley, D.1
-
24
-
-
57449120657
-
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software
-
C. S. Pǎsǎreanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape, "Combining unit-level symbolic execution and system-level concrete execution for testing NASA software," in International Symposium on Software Testing and Analysis (ISSTA 2008), 2008, pp. 15-26.
-
International Symposium on Software Testing and Analysis (ISSTA 2008), 2008
, pp. 15-26
-
-
Pǎsǎreanu, C.S.1
Mehlitz, P.C.2
Bushnell, D.H.3
Gundy-Burlet, K.4
Lowry, M.5
Person, S.6
Pape, M.7
-
25
-
-
77952182673
-
Reggae: Automated test generation for programs using complex regular expressions
-
N. Li, T. Xie, N. Tillmann, J. de Halleux, and W. Schulte, "Reggae: Automated test generation for programs using complex regular expressions," in 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009.
-
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), 2009
-
-
Li, N.1
Xie, T.2
Tillmann, N.3
De Halleux, J.4
Schulte, W.5
-
26
-
-
79960350209
-
HAMPI: A string solver for testing, analysis and vulnerability detection
-
V. Ganesh, A. Kiezun, S. Artzi, P. J. Guo, P. Hooimeijer, and M. D. Ernst, "HAMPI: A string solver for testing, analysis and vulnerability detection," in CAV, 2011, pp. 1-19.
-
(2011)
CAV
, pp. 1-19
-
-
Ganesh, V.1
Kiezun, A.2
Artzi, S.3
Guo, P.J.4
Hooimeijer, P.5
Ernst, M.D.6
-
27
-
-
77955220343
-
A symbolic execution framework for JavaScript
-
P. Saxena, D. Akhawe, S. Hanna, F. Mao, S. McCamant, and D. Song, "A symbolic execution framework for JavaScript," in IEEE Symposium on Security and Privacy, 2010, pp. 513-528.
-
IEEE Symposium on Security and Privacy, 2010
, pp. 513-528
-
-
Saxena, P.1
Akhawe, D.2
Hanna, S.3
Mao, F.4
McCamant, S.5
Song, D.6
-
28
-
-
79958746659
-
Exploiting common object usage in test case generation
-
G. Fraser and A. Zeller, "Exploiting common object usage in test case generation," in International Conference on Software Testing, Verification and Validation (ICST 2011), 2011, pp. 80-89.
-
International Conference on Software Testing, Verification and Validation (ICST 2011), 2011
, pp. 80-89
-
-
Fraser, G.1
Zeller, A.2
-
30
-
-
79952668060
-
Recognizing words from source code identifiers using speech recognition techniques
-
N. Madani, L. Guerrouj, M. Di Penta, Y. Guéhéneuc, and G. Antoniol, "Recognizing words from source code identifiers using speech recognition techniques,"in European Conference on Software Maintenance and Reengineering (CSMR 2010), 2010, pp. 68-77.
-
European Conference on Software Maintenance and Reengineering (CSMR 2010), 2010
, pp. 68-77
-
-
Madani, N.1
Guerrouj, L.2
Di Penta, M.3
Guéhéneuc, Y.4
Antoniol, G.5
-
31
-
-
78650666501
-
Normalizing source code vocabulary
-
D. Lawrie, D. Binkley, and C. Morrell, "Normalizing source code vocabulary,"in Working Conference on Reverse Engineering (WCRE 2010), 2010, pp. 3-12.
-
Working Conference on Reverse Engineering (WCRE 2010), 2010
, pp. 3-12
-
-
Lawrie, D.1
Binkley, D.2
Morrell, C.3
-
33
-
-
79959216965
-
Improving identifier informativeness using part of speech information
-
D. Binkley, M. Hearn, and D. Lawrie, "Improving identifier informativeness using part of speech information," in Working Conference on Mining Software Repositories (MSR 2011), 2011, pp. 203-206.
-
Working Conference on Mining Software Repositories (MSR 2011), 2011
, pp. 203-206
-
-
Binkley, D.1
Hearn, M.2
Lawrie, D.3
|