Verifying systems rules using ruledirected symbolic execution. (2013)

by H Cui, G Hu, J Wu, J Yang
Venue:In Eighteenth International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS ’13),