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