ANOVUL: Detection of logic vulnerabilities in annotated programs via data and control flow analysis. - Mahmoud Ghorbanzadeh; Hamid Reza Shahriari (IET Inf. Secur., 2020)

Detecting application logic vulnerabilities via finding incompatibility between application design and implementation. - Mahmoud Ghorbanzadeh; Hamid Reza Shahriari (IET Softw., 2020)