Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler Benjamin Chelf Andy Chou Seth Hallem

Published in: OSDI (2000)

Keyphrases

programming language
general purpose
domain specific
data mining
association rules
higher level
data sets
neural network
artificial intelligence
domain knowledge
domain experts
rule extraction