Detecting Software Security Vulnerabilities Via Requirements Dependency Analysis. - Wentao Wang 003; Faryn Dumont; Nan Niu; Glen Horton (IEEE Trans. Software Eng., 2022)