Daniel Woodraska

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Quality Assurance

Test Generation

Top Venues

IEEE Trans. Dependable Secur. Comput.

Publications

Dianxiang Xu, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, Weifeng Xu
Automated Security Test Generation with Formal Threat Models. IEEE Trans. Dependable Secur. Comput. 9 (4) (2012)
Daniel Woodraska, Michael Sanford, Dianxiang Xu
Security mutation testing of the FileZilla FTP server. SAC (2011)
Michael Sanford, Daniel Woodraska, Dianxiang Xu
Security Analysis of FileZilla Server Using Threat Models. SEKE (2011)