A large-scale study of usability criteria addressed by static analysis tools. - Nachtigall, Marcus; Schlichtig, Michael; Bodden, Eric (2022)