Detecting injection vulnerabilities in executable codes with concolic execution - Mouzarani, Maryam; Sadeghiyan, Babak; Zolfaghari, Mohammad (2017 8th IEEE International Conference on Software Engineering and Service Science (ICSESS), Software Engineering and Service Science (ICSESS), 2017 8th IEEE International Conference on, 2017)