Automated Approaches in Software Security. - Yu Ming Cheuk; Michael G. Agamasire; James E. Byrns; Jungwoo Ryoo (ICSSA, 2021)