MM Beller, RMR Bholanath, S McIntosh… - Proceedings of the …, 2016 - repository.tudelft.nl
The use of automatic static analysis has been a software engineering best practice for
decades. However, we still do not know a lot about its use in real-world software projects …