메뉴 건너뛰기




Volumn 4454 LNCS, Issue , 2007, Pages 207-216

White-box testing by combining deduction-based specification extraction and black-box testing

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; PROGRAM PROCESSORS; VERIFICATION;

EID: 38049079948     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73770-4_12     Document Type: Conference Paper
Times cited : (15)

References (20)
  • 2
    • 84944238972 scopus 로고    scopus 로고
    • A dynamic logic for the formal verification of Java Card programs
    • Attali, I, Jensen, T, eds, JavaCard 2000revised papers, Springer, Heidelberg
    • Beckert, B.: A dynamic logic for the formal verification of Java Card programs. In: Attali, I., Jensen, T. (eds.) JavaCard 2000(revised papers). LNCS, vol. 2041, pp. 6-24. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2041 , pp. 6-24
    • Beckert, B.1
  • 3
    • 36548998994 scopus 로고    scopus 로고
    • Verification of Object-Oriented Software: The KeY Approach
    • Beckert, B, Hähnle, R, Schmitt, P.H, eds, Springer, Heidelberg
    • Beckert, B., Hähnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software: The KeY Approach. LNCS (LNAI), vol. 4334. Springer, Heidelberg (2007)
    • (2007) LNCS (LNAI , vol.4334
  • 4
    • 24644445719 scopus 로고    scopus 로고
    • JML-testing-tools: A symbolic animator for JML specifications using CLP
    • Halbwachs, N, Zuck, L, eds, TACAS 2005, Springer, Heidelberg
    • Bouquet, F., Dadeau, F., Legeard, B., Utting, M.: JML-testing-tools: a symbolic animator for JML specifications using CLP. In: Halbwachs, N., Zuck, L. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 551-556. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3440 , pp. 551-556
    • Bouquet, F.1    Dadeau, F.2    Legeard, B.3    Utting, M.4
  • 8
    • 38049081121 scopus 로고    scopus 로고
    • Generating unit tests from formal proofs
    • Gurevich, Y, ed, Proceedings, Testing and Proofs, Zürich, Switzerland, Springer, Heidelberg, to appear
    • Engel, C., Hähnle, R.: Generating unit tests from formal proofs. In: Gurevich, Y. (ed.) Proceedings, Testing and Proofs, Zürich, Switzerland. LNCS, Springer, Heidelberg, 2007 (to appear)
    • (2007) LNCS
    • Engel, C.1    Hähnle, R.2
  • 9
    • 0035250541 scopus 로고    scopus 로고
    • Dynamically discovering likely program invariants to support program evolution
    • Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Eng. 27(2), 99-123 (2001)
    • (2001) IEEE Trans. Software Eng , vol.27 , Issue.2 , pp. 99-123
    • Ernst, M.D.1    Cockrell, J.2    Griswold, W.G.3    Notkin, D.4
  • 10
  • 12
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385-394 (1976)
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 13
    • 16244406591 scopus 로고    scopus 로고
    • Boundary coverage criteria for test generation from formal models
    • Saint-Melo, France, pp, IEEE CS Press, Los Alamitos
    • Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: Proceedings, Software Reliability Engineering, Saint-Melo, France, pp. 139-150. IEEE CS Press, Los Alamitos (2004)
    • (2004) Proceedings, Software Reliability Engineering , pp. 139-150
    • Kosmatov, N.1    Legeard, B.2    Peureux, F.3    Utting, M.4
  • 14
    • 84937398109 scopus 로고    scopus 로고
    • Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, 2391, Springer, Heidelberg (2002)
    • Legeard, B., Peureux, F., Utting, M.: Automated boundary testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, Springer, Heidelberg (2002)
  • 15
    • 0013091098 scopus 로고    scopus 로고
    • Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr
    • Nimmer, J.W., Ernst, M.D.: Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java. Electr. Notes Theor. Comput. Sci. 55(2) (2001)
    • (2001) Notes Theor. Comput. Sci , vol.55 , Issue.2
    • Nimmer, J.W.1    Ernst, M.D.2
  • 17
    • 38049021002 scopus 로고    scopus 로고
    • manual
    • Parasoft: JTest manual (2004), http://www.parasoft.com/jtest
    • (2004) JTest
    • Parasoft1
  • 19
    • 24644482816 scopus 로고    scopus 로고
    • Symstra: A framework for generating object-oriented unit tests using symbolic execution
    • Halbwachs, N, Zuck, L.D, eds, TACAS 2005, Springer, Heidelberg
    • Xie, T., Marinov, D., Schulte, W., Notkin, D.: Symstra: A framework for generating object-oriented unit tests using symbolic execution. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 365-381. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3440 , pp. 365-381
    • Xie, T.1    Marinov, D.2    Schulte, W.3    Notkin, D.4
  • 20
    • 35048884054 scopus 로고    scopus 로고
    • Exploiting synergy between testing and inferred partial specifications
    • Portland, USA, pp
    • Xie, T., Notkin, D.: Exploiting synergy between testing and inferred partial specifications. In: Proceedings, ICSE Workshop on Dynamic Analysis (WODA), Portland, USA, pp. 17-20 (2003)
    • (2003) Proceedings, ICSE Workshop on Dynamic Analysis (WODA) , pp. 17-20
    • Xie, T.1    Notkin, D.2


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