Login / Signup
Automated Security Test Generation with Formal Threat Models.
Dianxiang Xu
Manghui Tu
Michael Sanford
Lijo Thomas
Daniel Woodraska
Weifeng Xu
Published in:
IEEE Trans. Dependable Secur. Comput. (2012)
Keyphrases
</>
test generation
database systems
quality assurance
complex systems
security issues
static analysis