Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang. Verifying systems rules using rule-directed symbolic execution. In Vivek Sarkar, Rastislav Bodík, editors, Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013. pages 329-342, ACM, 2013. [doi]
@inproceedings{CuiHWY13,
title = {Verifying systems rules using rule-directed symbolic execution},
author = {Heming Cui and Gang Hu and Jingyue Wu and Junfeng Yang},
year = {2013},
doi = {10.1145/2451116.2451152},
url = {http://doi.acm.org/10.1145/2451116.2451152},
researchr = {https://researchr.org/publication/CuiHWY13},
cites = {0},
citedby = {0},
pages = {329-342},
booktitle = {Architectural Support for Programming Languages and Operating Systems, ASPLOS '13, Houston, TX, USA - March 16 - 20, 2013},
editor = {Vivek Sarkar and Rastislav Bodík},
publisher = {ACM},
isbn = {978-1-4503-1870-9},
}