UAV: Warnings from multiple Automated Static Analysis Tools at a glance. - Tim Buckers; Clinton Cao; Michiel Doesburg; Boning Gong; Sunwei Wang; Moritz Beller; Andy Zaidman (SANER, 2017)