Low-overhead and fully automated statistical debugging with abstraction refinement.

Zhiqiang Zuo Lu Fang Siau-Cheng Khoo Guoqing Xu Shan Lu

Published in: OOPSLA (2016)

Keyphrases

fully automated
low overhead
fully automatic
high reliability
load balancing
semi automated
manual segmentation
completely automated
energy efficient
shared memory
labor intensive
hardware designs
low cost
communication cost
real time
scheduling algorithm
high precision
semi automatic
sensor networks