DMCA

Practical software model checking via dynamic interface reduction (2011)

by Huayang Guo , Ming Wu , Lidong Zhou , Gang Hu , Junfeng Yang , Lintao Zhang
Venue:In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11
Citations:17 - 4 self