Xu, Dianxiang, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu. 2012. “Automated Security Test Generation With Formal Threat Models”. IEEE Transactions on Dependable and Secure Computing 9 (4): 526-40. Last updated on 07/19/2023
