String analysis for software verification and security. ([2017]) - Bultan, Tevfik; Yu, Fang; Alkhalaf, Muath Abdullah; Aydin, Abdulbaki
No abstract available