An approach of security testing for third-party component based on state mutation. - Chen, Jinfu; Chen, Jiamei; Huang, Rubing; Guo, Yuchi; Zhan, Yongzhao (Security & Communication Networks, 2016)