TAPPecker: TAP Logic Inference and Violation Detection in Heterogeneous Smart Home Systems.

Qixiao Lin, Jian Mao, Ziwen Liu, Zhenkai Liang

Browse the full RAID paper archive.