String Analysis for Software Verification and Security - Bultan, Tevfik. (Springer International Publishing : Imprint: Springer, 2017)