Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
Practical software model checking via dynamic interface reduction
SOSP, 2011.
@inproceedings{SOSP-2011-GuoWZHYZ, author = "Huayang Guo and Ming Wu and Lidong Zhou and Gang Hu and Junfeng Yang and Lintao Zhang", booktitle = "{Proceedings of the 23rd ACM Symposium on Operating Systems Principles}", doi = "10.1145/2043556.2043582", isbn = "978-1-4503-0977-6", pages = "265--278", publisher = "{ACM}", title = "{Practical software model checking via dynamic interface reduction}", year = 2011, }