Human-Centered Approach to Static-Analysis-Driven Developer Toolsqueue.acm.org2 pointsrbanffy5 years ago