메뉴 건너뛰기




Volumn 36, Issue 4, 2010, Pages 495-508

Proofs from tests

Author keywords

abstraction refinement; directed testing; Software model checking

Indexed keywords

ABSTRACTION REFINEMENT; MICROSOFT; REFINEMENT OPERATORS; SAFETY PROPERTY; TEST GENERATIONS; TESTING SOFTWARE; UNIQUE FEATURES; WINDOWS VISTA;

EID: 77955417029     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2010.49     Document Type: Article
Times cited : (49)

References (27)
  • 1
    • 84976779102 scopus 로고
    • The Humble programmer
    • E.W. Dijkstra, "The Humble Programmer," Comm. ACM, vol.15, no.10, pp. 859-866, 1972.
    • (1972) Comm. ACM , vol.15 , Issue.10 , pp. 859-866
    • Dijkstra, E.W.1
  • 12
    • 33646741004 scopus 로고    scopus 로고
    • Software model checking: Searching for computations in the abstract or the concrete
    • P. Godefroid and N. Klarlund, "Software Model Checking: Searching for Computations in the Abstract or the Concrete," Proc. Integrated Formal Methods, pp. 20-32, 2005.
    • (2005) Proc. Integrated Formal Methods , pp. 20-32
    • Godefroid, P.1    Klarlund, N.2
  • 13
    • 23844435578 scopus 로고    scopus 로고
    • Model checking, testing and verification working together
    • E. Gunter and D. Peled, "Model Checking, Testing and Verification Working Together," Formal Aspects of Computing, vol.17, no.2, pp. 201-221, 2005.
    • (2005) Formal Aspects of Computing , vol.17 , Issue.2 , pp. 201-221
    • Gunter, E.1    Peled, D.2
  • 17
    • 47249106308 scopus 로고    scopus 로고
    • LATEST: Lazy dynamic test input generation
    • Mar.
    • R. Majumdar and K. Sen, "LATEST: Lazy Dynamic Test Input Generation," Technical Report UCB/EECS-2007-2036, Electrical Eeng. and Computer Science Dept., Univ. of California, http:// www.eecs.berkeley.edu/Pubs/ TechRpts/2007/EECS-2007- 36.html, Mar. 2007.
    • (2007) Technical Report UCB/EECS-2007-2036
    • Majumdar, R.1    Sen, K.2
  • 22
  • 23
    • 77955416899 scopus 로고    scopus 로고
    • T. Ball, personal communication
    • T. Ball, personal communication.


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