Sign in

Verifying systems rules using rule-directed symbolic execution.

Heming CuiGang HuJingyue WuJunfeng 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