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