Lightweight detection of physical unit inconsistencies without program annotations.

John-Paul Ore Carrick Detweiler Sebastian G. Elbaum

Published in: ISSTA (2017)

Keyphrases

lightweight
development environments
detection algorithm
automatic detection
anomaly detection
false positives
metadata
object detection
false alarms
computer programs
wireless sensor networks
detection rate
communication infrastructure
low cost