SOFIA: An automated security oracle for black-box testing of SQL-injection vulnerabilities | IEEE Conference Publication | IEEE Xplore