메뉴 건너뛰기




Volumn 6435 LNCS, Issue , 2010, Pages 142-157

FloPSy - Search-based floating point constraint solving for symbolic execution

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT SOLVING; DYNAMIC SYMBOLIC EXECUTIONS; FLOATING POINTS; FLOATING-POINT COMPUTATION; MICROSOFT; OPEN-SOURCE PROGRAM; PLUG-INS; SEARCH-BASED; STANDARD EVALUATIONS; SYMBOLIC EXECUTION; TESTING TOOLS; OPEN SOURCE PROJECTS;

EID: 78649810173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16573-3_11     Document Type: Conference Paper
Times cited : (70)

References (21)
  • 1
    • 78649902296 scopus 로고    scopus 로고
    • Alglib
    • Alglib. Alglib, http://www.alglib.net/
  • 2
    • 33745109231 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 6
    • 34548073627 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 13
    • 78649853981 scopus 로고    scopus 로고
    • QLNet
    • QLNet. QLNet, http://www.qlnet.org/
  • 16
    • 33749857160 scopus 로고    scopus 로고
    • 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
  • 18
    • 23744485743 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.