Designing UIs for Static-Analysis Tools: Evaluating tool design guidelines with SWAN. - TIGANOV, DANIIL; QUANG DO, LISA NGUYEN; ALI, KARIM (Communications of the ACM, 2022)