메뉴 건너뛰기




Volumn 31, Issue 5, 1996, Pages 249-256

Target-sensitive construction of diagnostic programs for procedure calling sequence generators

Author keywords

[No Author keywords available]

Indexed keywords


EID: 17144389044     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/249069.231431     Document Type: Article
Times cited : (2)

References (14)
  • 1
    • 0026260631 scopus 로고
    • An optimization technique for protocol conformance test generation based on uio sequences and rural Chinese postman tours
    • November
    • Alfred V. Aho, Anton T. Dahbura, David Lee, and M. Uyar. An optimization technique for protocol conformance test generation based on uio sequences and rural Chinese postman tours. IEEE Transactions on Communications, 39(11):1604-1615, November, 1991.
    • (1991) IEEE Transactions on Communications , vol.39 , Issue.11 , pp. 1604-1615
    • Aho, A.V.1    Dahbura, A.T.2    Lee, D.3    Uyar, M.4
  • 8
    • 0029195606 scopus 로고
    • Architecture validation for processors
    • Richard C. Ho, C. Han Yang, Mark A. Horowitz, and David L. Dill. Architecture validation for processors. In ISCA95, pages 404-413, 1995.
    • (1995) ISCA95 , pp. 404-413
    • Ho, R.C.1    Yang, C.H.2    Horowitz, M.A.3    Dill, D.L.4
  • 11
    • 78049442327 scopus 로고
    • A method for synthesizing sequential circuits
    • G. H. Mealy. A method for synthesizing sequential circuits. Bell System Technical Journal, 35(5):1045-1079, 1955.
    • (1955) Bell System Technical Journal , vol.35 , Issue.5 , pp. 1045-1079
    • Mealy, G.H.1
  • 12
    • 0024650136 scopus 로고
    • Formal methods for protocol testing: A detailed study
    • April
    • Deepinder P. Sidhu and Ting-Kau Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions of Software Engineering, 15(4):413-426, April 1989.
    • (1989) IEEE Transactions of Software Engineering , vol.15 , Issue.4 , pp. 413-426
    • Sidhu, D.P.1    Leung, T.-K.2


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