@inproceedings {woodpecker:asplos13,
        author = {Heming Cui and Gang Hu and Jingyue Wu and Junfeng Yang},
        title = {Verifying Systems Rules Using Rule-Directed Symbolic Execution},
        year = {2013},
        booktitle = {Eighteenth International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '13)},
}