A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.

Neelam Gupta Zachary V. Heidepriem

Published in: ASE (2003)

Keyphrases

object detection
dynamic environments
detection algorithm
feature selection
detection method
automatic detection
detection accuracy
optimization criterion
imperative programs
anomaly detection
detection rate
program execution
data structure
false positives