-
3
-
-
84869138103
-
-
Jazzy. http://sourceforge.net/projects/jazzy.
-
Jazzy
-
-
-
4
-
-
84869112683
-
-
JSoup. http://www.jsoup.org.
-
-
-
-
7
-
-
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. STVR, 2006.
-
(2006)
STVR
-
-
Alshraideh, M.1
Bottaci, L.2
-
10
-
-
84857352735
-
Automatically generating realistic test input from web services
-
Mustafa Bozkurt and Mark Harman. Automatically generating realistic test input from web services. In SOSE, 2011.
-
(2011)
SOSE
-
-
Bozkurt, M.1
Harman, M.2
-
11
-
-
56249135986
-
Heuristics for scalable dynamic test generation
-
IEEE Computer Society
-
J. Burnim and K. Sen. Heuristics for scalable dynamic test generation. In ASE. IEEE Computer Society, 2008.
-
(2008)
ASE
-
-
Burnim, J.1
Sen, K.2
-
13
-
-
0037925531
-
Improving web application testing with user session data
-
S. Elbaum, S. Karre, and G. Rothermel. Improving web application testing with user session data. In ICSE, 2003.
-
(2003)
ICSE
-
-
Elbaum, S.1
Karre, S.2
Rothermel, G.3
-
14
-
-
79960350209
-
Hampi: A string solver for testing, analysis and vulnerability detection
-
V. Ganesh, A. Kiezun, S. Artzi, P. Guo, P. Hooimeijer, and M. Ernst. Hampi: A string solver for testing, analysis and vulnerability detection. In CAV, pages 1-19, 2011.
-
(2011)
CAV
, pp. 1-19
-
-
Ganesh, V.1
Kiezun, A.2
Artzi, S.3
Guo, P.4
Hooimeijer, P.5
Ernst, M.6
-
15
-
-
57349133785
-
Grammar-based whitebox fuzzing
-
ACM
-
P. Godefroid, A. Kiezun, and M. Levin. Grammar-based whitebox fuzzing. In PLDI, pages 206-215. ACM, 2008.
-
(2008)
PLDI
, pp. 206-215
-
-
Godefroid, P.1
Kiezun, A.2
Levin, M.3
-
16
-
-
31844450371
-
DART: Directed automated random testing
-
June
-
P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. ACM SIGPLAN Notices, 40(6):213-223, June 2005.
-
(2005)
ACM SIGPLAN Notices
, vol.40
, Issue.6
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
17
-
-
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, 36:226-247, 2010.
-
(2010)
IEEE Transactions on Software Engineering
, vol.36
, pp. 226-247
-
-
Harman, M.1
McMinn, P.2
-
19
-
-
85040537740
-
An introduction to R: Software for statistical modelling & computing
-
Canberra, Australia
-
P. Kuhnert and W. N. Venables. An Introduction to R: Software for Statistical Modelling & Computing. CSIRO, Canberra, Australia, 2005.
-
(2005)
CSIRO
-
-
Kuhnert, P.1
Venables, W.N.2
-
20
-
-
83455214120
-
Expanding identifiers to Normalize source code vocabulary
-
D. Lawrie and D. Binkley. Expanding identifiers to normalize source code vocabulary. In ICSM, pages 113-122, 2011.
-
(2011)
ICSM
, pp. 113-122
-
-
Lawrie, D.1
Binkley, D.2
-
21
-
-
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 ASE, 2009.
-
(2009)
ASE
-
-
Li, N.1
Xie, T.2
Tillmann, N.3
De Halleux, J.4
Schulte, W.5
-
22
-
-
58049169957
-
Directed test generation using symbolic grammars
-
R. Majumdar and R. Xu. Directed test generation using symbolic grammars. In ASE, 2007.
-
(2007)
ASE
-
-
Majumdar, R.1
Xu, R.2
-
24
-
-
84862325220
-
Search-based test input generation for string data types using the results of web queries
-
P. McMinn, M. Shahbaz, and M. Stevenson. Search-based test input generation for string data types using the results of web queries. In ICST, pages 141-150, 2012.
-
(2012)
ICST
, pp. 141-150
-
-
McMinn, P.1
Shahbaz, M.2
Stevenson, M.3
-
25
-
-
57449120657
-
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
-
ACM
-
C. Pǎsǎreanu, P. Mehlitz, D. 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 ISSTA, pages 15-26. ACM, 2008.
-
(2008)
ISSTA
, pp. 15-26
-
-
Pǎsǎreanu, C.1
Mehlitz, P.2
Bushnell, D.3
Gundy-Burlet, K.4
Lowry, M.5
Person, S.6
Pape, M.7
-
26
-
-
84860520429
-
Guided learning for bidirectional sequence classification
-
L. Shen, G. Satta, and A. Joshi. Guided Learning for Bidirectional Sequence Classification. In ACL, 2007.
-
(2007)
ACL
-
-
Shen, L.1
Satta, G.2
Joshi, A.3
-
27
-
-
80053026594
-
Choco: An open source java constraint programming library
-
CHOCO Team
-
CHOCO Team. choco: an open source java constraint programming library. Research report 10-02-INFO, Ecole des Mines de Nantes, 2010.
-
(2010)
Research Report 10-02-INFO, Ecole des Mines de Nantes
-
-
-
28
-
-
23744485743
-
Evolutionary testing of classes
-
P. Tonella. Evolutionary testing of classes. In ISSTA, 2004.
-
(2004)
ISSTA
-
-
Tonella, P.1
-
29
-
-
84983470508
-
Feature-rich part-of-speech tagging with a cyclic dependency network
-
K. Toutanova, D. Klein, C. D. Manning, and Y. Singer. Feature-rich part-of-speech tagging with a cyclic dependency network. In NAACL '03, pages 173-180, 2003.
-
(2003)
NAACL '03
, pp. 173-180
-
-
Toutanova, K.1
Klein, D.2
Manning, C.D.3
Singer, Y.4
|