Static Analysis: An Introduction

https://queue.acm.org/detail.cfm?id=3487021

Static Analysis: An Introduction

The fundamental challenge of software engineering is one of complexity.

Patrick Thomson