DMCA

Verifying Systems Rules Using Rule-Directed Symbolic Execution

by Heming Cui , Gang Hu , Jingyue Wu , Junfeng Yang
Citations:12 - 2 self