KPAT: A kernel and protocol analysis tool for embedded networking devices. - Ming-Hung Wang; Chia-Ming Yu; Chia-Liang Lin; Chien-Chao Tseng; Li-Hsing Yen (ICC, 2014)