Login / Signup

Automated Security Test Generation with Formal Threat Models.

Dianxiang XuManghui TuMichael SanfordLijo ThomasDaniel WoodraskaWeifeng Xu
Published in: IEEE Trans. Dependable Secur. Comput. (2012)
Keyphrases
  • test generation
  • database systems
  • quality assurance
  • complex systems
  • security issues
  • static analysis