Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.

Hermann Lehner Peter Müller

Published in: FASE (2010)

Keyphrases

real time
data sets
databases
real world
data mining
knowledge base
case study
search space
background knowledge
cost effective
inference rules