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