![](/img/cover-not-exists.png)
[IEEE Multimedia Technology (IC-BNMT) - Beijing, China (2009.10.18-2009.10.20)] 2009 2nd IEEE International Conference on Broadband Network & Multimedia Technology - A novel symbolic execution framework for multi-procedure program analysis
Wenqing, Fan, Hongling, Liang, Yixian, Yang, Guoai, XuYear:
2009
Language:
english
DOI:
10.1109/icbnmt.2009.5347802
File:
PDF, 137 KB
english, 2009