Practical software model checking via dynamic interface reduction.

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang

Browse the full SOSP paper archive.