A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs
- Publisher
- 한국정보과학회/한국정보처리학회
- Issue Date
- 2012-02-09
- Language
- KOR
- Citation
한국 소프트웨어공학 학술대회
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.