메뉴 건너뛰기




Volumn 3997 LNCS, Issue , 2006, Pages 87-102

Interactive testing with HOL-testGen

Author keywords

Black box testing; Interactive testing; Symbolic test case generations; Theorem proving; White box testing

Indexed keywords

AUTOMATION; COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER SOFTWARE; INTERACTIVE COMPUTER SYSTEMS; THEOREM PROVING;

EID: 33746667191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11759744_7     Document Type: Conference Paper
Times cited : (13)

References (13)
  • 1
    • 84941153133 scopus 로고    scopus 로고
    • HOL-TestGen. http://www.brucker.ch/projects/hol-testgen/.
    • HOL-testGen
  • 2
    • 84941158846 scopus 로고    scopus 로고
    • IMP. http://isabelle.in.tum.de/library/HOL/IMP/Denotation.html.
  • 5
    • 33746678485 scopus 로고    scopus 로고
    • HOL-testGen 1.0.0 user guide
    • ETH Zürich, Apr.
    • A. D. Brucker and B. Wolff. HOL-TestGen 1.0.0 user guide. Technical Report 482, ETH Zürich, Apr. 2005.
    • (2005) Technical Report , vol.482
    • Brucker, A.D.1    Wolff, B.2
  • 6
    • 24144442859 scopus 로고    scopus 로고
    • Symbolic test case generation for primitive recursive functions
    • J. Grabowski and B. Nielsen, editors, number 3395 in Lecture Notes in Computer Science. Springer-Verlag, Linz
    • A. D. Brucker and B. Wolff. Symbolic test case generation for primitive recursive functions. In J. Grabowski and B. Nielsen, editors, Formal Approaches to Testing of Software, number 3395 in Lecture Notes in Computer Science, pages 16-32. Springer-Verlag, Linz, 2005.
    • (2005) Formal Approaches to Testing of Software , pp. 16-32
    • Brucker, A.D.1    Wolff, B.2
  • 7
    • 0003180840 scopus 로고
    • A formulation of the simple theory of types
    • A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
    • (1940) Journal of Symbolic Logic , vol.5 , pp. 56-68
    • Church, A.1
  • 8
    • 10644295766 scopus 로고    scopus 로고
    • Instrumenting scenarios in a model-driven development environment
    • W. Grieskamp, N. Tillmann, and M. Veanes. Instrumenting scenarios in a model-driven development environment. Information and Software Technology, 46(15):1027-1036, 2004.
    • (2004) Information and Software Technology , vol.46 , Issue.15 , pp. 1027-1036
    • Grieskamp, W.1    Tillmann, N.2    Veanes, M.3
  • 9
    • 0013135170 scopus 로고    scopus 로고
    • Winskel is (almost) right: Towards a mechanized semantics textbook
    • T. Nipkow. Winskel is (almost) right: Towards a mechanized semantics textbook. Formal Aspects of Computing, 10:171-186, 1998.
    • (1998) Formal Aspects of Computing , vol.10 , pp. 171-186
    • Nipkow, T.1
  • 10
    • 0348126394 scopus 로고    scopus 로고
    • Isabelle/HOL - A proof assistant for higher-order logic
    • Springer
    • T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL - A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer, 2002.
    • (2002) LNCS , vol.2283
    • Nipkow, T.1    Paulson, L.C.2    Wenzel, M.3


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