-
1
-
-
78649902296
-
-
Alglib
-
Alglib. Alglib, http://www.alglib.net/
-
-
-
-
2
-
-
33745109231
-
Symbolic execution of floating-point computations
-
Botella, B., Gotlieb, A., Michel, C.: Symbolic execution of floating-point computations. Softw. Test, Verif. Reliab 16(2), 97-121 (2006)
-
(2006)
Softw. Test, Verif. Reliab
, vol.16
, Issue.2
, pp. 97-121
-
-
Botella, B.1
Gotlieb, A.2
Michel, C.3
-
3
-
-
45749085681
-
Z3: An efficient SMT solver
-
Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. Springer, Heidelberg
-
de Moura, L.M., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 337-340
-
-
De Moura, L.M.1
Bjørner, N.2
-
4
-
-
0036036098
-
Extended static checking for Java
-
Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Conference on Programming language design and implementation, pp. 234-245 (2002)
-
(2002)
Conference on Programming Language Design and Implementation
, pp. 234-245
-
-
Flanagan, C.1
Leino, K.R.M.2
Lillibridge, M.3
Nelson, G.4
Saxe, J.B.5
Stata, R.6
-
5
-
-
31844450371
-
DART: Directed automated random testing
-
ACM, New York
-
Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Conference on Programming Language Design and Implementation, pp. 213-223. ACM, New York (2005)
-
(2005)
Conference on Programming Language Design and Implementation
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
6
-
-
34548073627
-
A multi-objective approach to search-based test data generation
-
Harman, M., Lakhotia, K., McMinn, P.: A multi-objective approach to search-based test data generation. In: GECCO 2007, pp. 1098-1105 (2007)
-
(2007)
GECCO 2007
, pp. 1098-1105
-
-
Harman, M.1
Lakhotia, K.2
McMinn, P.3
-
7
-
-
77950626862
-
A theoretical and empirical study of search based testing: Local, global and hybrid search
-
to appear
-
Harman, M., McMinn, P.: A theoretical and empirical study of search based testing: Local, global and hybrid search. IEEETransactions on Software Engineering 36(2) (to appear, 2010)
-
(2010)
IEEETransactions on Software Engineering
, vol.36
, Issue.2
-
-
Harman, M.1
McMinn, P.2
-
8
-
-
52249111298
-
Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs
-
Inkumsah, K., Xie, T.: Evacon: A framework for integrating evolutionary and concolic testing for object-oriented programs. In: ASE 2007, pp. 425-428 (2007)
-
(2007)
ASE 2007
, pp. 425-428
-
-
Inkumsah, K.1
Xie, T.2
-
9
-
-
0025472647
-
Automated software test data generation
-
Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering 16(8), 870-879 (1990)
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
10
-
-
34548738230
-
Hybrid concolic testing
-
IEEE Computer Society, Los Alamitos
-
Majumdar, R., Sen, K.: Hybrid concolic testing. In: ICSE 2007, pp. 416-426. IEEE Computer Society, Los Alamitos (2007)
-
(2007)
ICSE 2007
, pp. 416-426
-
-
Majumdar, R.1
Sen, K.2
-
12
-
-
84976845336
-
Testing unconstrained optimization software
-
Moré, J.J., Garbow, B.S., Hillstrom, K.E.: Testing unconstrained optimization software. ACM Trans. Math. Software 7(1), 17-41 (1981)
-
(1981)
ACM Trans. Math. Software
, vol.7
, Issue.1
, pp. 17-41
-
-
Moré, J.J.1
Garbow, B.S.2
Hillstrom, K.E.3
-
13
-
-
78649853981
-
-
QLNet
-
QLNet. QLNet, http://www.qlnet.org/
-
-
-
-
16
-
-
33749857160
-
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools
-
Ball, T., Jones, R.B. (eds.) CAV 2006. Springer, Heidelberg
-
Sen, K., Agha, G.: CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 419-423. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.4144
, pp. 419-423
-
-
Sen, K.1
Agha, G.2
-
17
-
-
43149111827
-
Pex-white box test generation for.NET
-
DOI 10.1007/978-3-540-79124-9-10, Tests and Proofs - Second International Conference, TAP 2008, Proceedings
-
Tillmann, N., de Halleux, J.: Pex-white box test generation for.NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134-153. Springer, Heidelberg (2008) (Pubitemid 351642008)
-
(2008)
Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, vol.4966 LNCS
, pp. 134-153
-
-
Tillmann, N.1
De Halleux, J.2
-
18
-
-
23744485743
-
Evolutionary testing of classes
-
Tonella, P.: Evolutionary testing of classes. In: ISSTA 2004, pp. 119-128 (2004)
-
(2004)
ISSTA 2004
, pp. 119-128
-
-
Tonella, P.1
-
19
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
DOI 10.1016/S0950-5849(01)00190-2, PII S0950584901001902
-
Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information and Software Technology 43(14), 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
-
21
-
-
70450057300
-
Fitness-guided path exploration in dynamic symbolic execution
-
Xie, T., Tillmann, N., de Halleux, P., Schulte, W.: Fitness-guided path exploration in dynamic symbolic execution. In: International Conference on Dependable Systems and Networks, DSN 2009 (2009)
-
International Conference on Dependable Systems and Networks, DSN 2009 (2009)
-
-
Xie, T.1
Tillmann, N.2
De Halleux, P.3
Schulte, W.4
|