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