"Eliminating Static Analysis False Positives Using Loop Abstraction and ..."

Bharti Chimdyalwar et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics