메뉴 건너뛰기




Volumn , Issue , 2005, Pages 206-212

Applications of synchronization coverage

Author keywords

Coverage; Multi threading; Testing

Indexed keywords

CONCURRENCY CONTROL; TESTING;

EID: 31844438058     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1065944.1065972     Document Type: Conference Paper
Times cited : (89)

References (18)
  • 5
    • 0142245458 scopus 로고    scopus 로고
    • Coverage metrics for formal verification
    • 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods. Springer-Verlag
    • H. Chockler, O. Kupferman, and M.Y. Vardi. Coverage metrics for formal verification. In 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, volume 2860 of Lecture Notes in Computer Science, pages 111-125. Springer-Verlag, 2003.
    • (2003) Lecture Notes in Computer Science , vol.2860 , pp. 111-125
    • Chockler, H.1    Kupferman, O.2    Vardi, M.Y.3
  • 16
    • 31844444006 scopus 로고    scopus 로고
    • Unit test coverage as leading indicator of rework
    • NOvember
    • R. Stewart. Unit test coverage as leading indicator of rework. In proceedings of EuroSTAR 97, NOvember 1997.
    • (1997) Proceedings of EuroSTAR 97
    • Stewart, R.1
  • 17
    • 0024031548 scopus 로고
    • The evaluation of program-based software test data adequacy criteria
    • E. J. Weyuker. The evaluation of program-based software test data adequacy criteria. Commun. ACM, 31(6):668-675, 1988.
    • (1988) Commun. ACM , vol.31 , Issue.6 , pp. 668-675
    • Weyuker, E.J.1


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