Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking. - Bharti Chimdyalwar; Priyanka Darke; Anooj Chavda; Sagar Vaghani; Avriti Chauhan (FM, 2015)