메뉴 건너뛰기




Volumn , Issue , 2011, Pages 139-154

MACE: Model-inference-assisted concolic exploration for protocol and vulnerability discovery

Author keywords

[No Author keywords available]

Indexed keywords

SCAFFOLDS; SPACE RESEARCH; VERIFICATION;

EID: 85071952998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (100)

References (30)
  • 1
    • 0023453626 scopus 로고
    • Learning regular sets from queries and counterexamples
    • ANGLUIN, D. Learning regular sets from queries and counterexamples. Information and Computation 75, 2 (1987), 87-106.
    • (1987) Information and Computation , vol.75 , Issue.2 , pp. 87-106
    • Angluin, D.1
  • 8
    • 26944472789 scopus 로고    scopus 로고
    • Execution generated test cases: How to make systems code crash itself
    • Lecture Notes in Computer Science, Springer
    • CADAR, C., AND ENGLER, D. R. Execution generated test cases: How to make systems code crash itself. In SPIN'05: Proc. of the 12th Int. SPIN Workshop on Model Checking Software (2005), vol. 3639 of Lecture Notes in Computer Science, Springer, pp. 2-23.
    • (2005) SPIN'05: Proc. Of the 12th Int. SPIN Workshop on Model Checking Software , vol.3639 , pp. 2-23
    • Cadar, C.1    Engler, D.R.2
  • 14
    • 84893143817 scopus 로고    scopus 로고
    • Discoverer: Automatic protocol reverse engineering from network traces
    • USENIX Association
    • CUI, W., KANNAN, J., AND WANG, H. J. Discoverer: Automatic protocol reverse engineering from network traces. In Proc. of 16th USENIX Security Symposium (2007), USENIX Association, pp. 1-14.
    • (2007) Proc. Of 16th USENIX Security Symposium , pp. 1-14
    • Cui, W.1    Kannan, J.2    Wang, H.J.3
  • 22
    • 0016971687 scopus 로고
    • Symbolic execution and program testing
    • KING, J. C. Symbolic execution and program testing. Communications of the ACM 19, 7 (1976), 385-394.
    • (1976) Communications of the ACM , vol.19 , Issue.7 , pp. 385-394
    • King, J.C.1
  • 23
    • 78049442327 scopus 로고
    • A method for synthesizing sequential circuits
    • MEALY, G. H. A method for synthesizing sequential circuits. Bell System Technical Journal 34, 5 (1955), 1045-1079.
    • (1955) Bell System Technical Journal , vol.34 , Issue.5 , pp. 1045-1079
    • Mealy, G.H.1
  • 25
    • 32344447459 scopus 로고    scopus 로고
    • Cute: A concolic unit testing engine for c
    • SEN, K., MARINOV, D., AND AGHA, G. Cute: A concolic unit testing engine for c. SIGSOFT Softw. Eng. Notes 30 (2005), 263-272.
    • (2005) SIGSOFT Softw. Eng. Notes , vol.30 , pp. 263-272
    • Sen, K.1    Marinov, D.2    Agha, G.3


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