Athena: A framework to automatically generate security test oracle via extracting policies from source code and intended software behaviour

Hossein Homaei, Hamid Reza Shahriari. Athena: A framework to automatically generate security test oracle via extracting policies from source code and intended software behaviour. Information \& Software Technology, 107:112-124, 2019. [doi]

Abstract

Abstract is missing.