메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 5503, Issue , 2009, Pages 417-420
HOL-TestGen an interactive test-case generation framework
Author keywords

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

AUTOMATIC GENERATION; BLACK BOX TESTING; CONCEPTUAL FRAMEWORKS; INTERACTIVE TESTING; ISABELLE; PROOF ASSISTANT; SEMI-AUTOMATED; SPECIFICATION BASED TESTING; SYMBOLIC TEST-CASE GENERATIONS; TEST CASE GENERATION; TEST DRIVERS; TEST ENVIRONMENT; TEST INPUTS; TEST RESULTS; TEST TECHNIQUES; TEST THEOREMS; UNIT TESTS; WHITE BOX TESTING; AUTOMATED GENERATION; RESULT VERIFICATIONS; SYMBOLIC TEST CASE GENERATIONS; WHITE-BOX TESTING;
EID: 67650139577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_28     Document Type: Conference Paper
Times cited : (13)
References (6)
  • 2
    • 24144442859 scopus 로고    scopus 로고
    • Symbolic test case generation for primitive recursive functions
    • Formal Approaches to Software Testing - 4th International Workshop, FATES 2004
    • Brucker, A.D., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, Vol. 3395, pp. 16-32. Springer, Heidelberg (2005) (Pubitemid 41241534)
    • (2005) Lecture Notes in Computer Science , vol.3395 , pp. 16-32
    • Brucker, A.D.1    Wolff, B.2
  • 3
    • 38049018067 scopus 로고    scopus 로고
    • Test-sequence generation with hol-TestGen with an application to firewall testing
    • In: Gurevich, Y., Meyer, B. (eds.) Springer, Heidelberg
    • Brucker, A.D., Wolff, B.: Test-sequence generation with hol-TestGen with an application to firewall testing. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, Vol. 4454, pp. 149-168. Springer, Heidelberg (2007)
    • (2007) TAP 2007. LNCS , vol.4454 , pp. 149-168
    • Brucker, A.D.1    Wolff, B.2
  • 4
    • 84871236007 scopus 로고    scopus 로고
    • Model-based firewall conformance testing
    • In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) Springer, Heidelberg
    • Brucker, A.D., Brügger, L., Wolff, B.: Model-based firewall conformance testing. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, Vol. 5047, pp. 103-118. Springer, Heidelberg (2008)
    • (2008) TestCom/FATES 2008. LNCS , vol.5047 , pp. 103-118
    • Brucker, A.D.1    Brügger, L.2    Wolff, B.3
  • 5
    • 56849128513 scopus 로고    scopus 로고
    • Verifying test-hypotheses: An experiment in test and proof
    • proceedings of the Fourth Workshop on Model Based Testing (MBT) ISSN 1571-0661, doi(10.1016/j.entcs, 11.003)
    • Brucker, A.D., Brügger, L., Wolff, B.: Verifying test-hypotheses: An experiment in test and proof. Electronic Notes in Theoretical Computer Science 220(1), 15-27 (2008); proceedings of the Fourth Workshop on Model Based Testing (MBT) (2008) ISSN 1571-0661, doi(10.1016/j.entcs, 11.003)
    • (2008) Electronic Notes in Theoretical Computer Science , vol.220 , Issue.1 , pp. 15-27
    • Brucker, A.D.1    Brügger, L.2    Wolff, B.3
  • 6
    • 67650154822 scopus 로고    scopus 로고
    • Isabelle/Isar - a versatile environment for human-readable formal proof documents. PhD thesis, TU München, München (February
    • Wenzel, M.M.: Isabelle/Isar - a versatile environment for human-readable formal proof documents. PhD thesis, TU München, München (February 2002)
    • (2002)
    • Wenzel, M.M.1

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