TY - RPRT TI - On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises AU - Mario Gleirscher AU - Dmitriy Golubitskiy AU - Maximilian Irlbeck AU - Stefan Wagner PY - 2016 DO - 10.1007/978-3-642-27213-4_3 UR - https://arxiv.org/abs/1611.07549 ID - 1611.07549 ER -