String Analysis for Software Verification and Security - Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath; Aydin, Abdulbaki (Springer International Publishing : Imprint: Springer, 2017)