Verifying systems rules using rule-directed symbolic execution.

Heming Cui Gang Hu Jingyue Wu Junfeng Yang

Published in: ASPLOS (2013)

Keyphrases

rule learning
rule sets
symbolic execution
rule discovery
data sets
association rules
building blocks
classification rules
xml documents
test data generation