Can the configuration of static analyses make resolving security vulnerabilities more effective? - A user study. - Piskachev, Goran; Becker, Matthias; Bodden, Eric (Empirical Software Engineering, 2023)