Identifying the exact fixing actions of static rule violation.

Hayatou Oumarou Nicolas Anquetil Anne Etien Stéphane Ducasse Dina Taiwé Kolyang

Published in: SANER (2015)

Keyphrases

rule sets
condition action rules
association rules
action rules
classification rules
situation calculus
decision theoretic
reasoning about actions
real time
information systems
brute force
nearest neighbour
rule learning
state transitions
dynamic analysis
action language