Locating Malicious Links in Fully-Connected Networks Using a Formal Framework. - Adel Khosravi; Karim Mohammadi; Masoud Shiroie (ICSEng, 2011)