An Automated Black-box Testing Approach for WSN Security Protocols. - Shirui Ji; Qingqi Pei; Yong Zeng 002; Chao Yang; Shu-po Bu (CIS, 2011)