Harman, M; O'Hearn, P; (2018) From start-ups to scale-ups: Opportunities and open problems for static and dynamic program analysis. In: 2018 IEEE 18th International Working Conference on Source Code Analysis and Manipulation (SCAM). (pp. pp. 1-23). IEEE