Practical software model checking via dynamic interface reduction (2011)

by H Guo, M Wu, L Zhou, G Hu, J Yang, L Zhang
Venue:In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP ’11