DMCA

A Case Study of the Application of Dynamic Symbolic Execution to Real-World Binary Programs

by Duc Bui Hoang , Yunho Kim , Moonzoo Kim