상세 보기
Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution
Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution
- 제목
- Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution
- 제목 (타언어)
- Software Vulnerability Detection using Backward Trace Analysis and Symbolic Execution
- 저자
- Heejo Lee
- 발행일
- 2013-09-03
- 학회명
- The 7th Intl Workshop on Secure Software Engineering, along with ARES 2013(International conference on Avaibility, Reliability and Security) : SecSE2013
- 개최국가
- 독일
- 학회 개최일
- 2013-09-02 ~ 2013-09-06