Dianxiang Xu

CAST: collaborative agents for simulating teamwork

John Yen, Jianwen Yin, Thomas R. Ioerger et al. · 2001 · 148 citations

Automated Security Test Generation with Formal Threat Models

Dianxiang Xu, Manghui Tu, Michael Sanford et al. · IEEE Transactions on Dependable and Secure Computing · 2012 · 98 citations

Engineering, Formal Threat Models, Information Security +16

A threat model‐based approach to security testing

Aaron Marback, Hyunsook Do, Ke He et al. · Software Practice and Experience · 2012 · 74 citations

Engineering, Information Security, Software Systems +22

A formal architectural model for logical agent mobility

Dianxiang Xu, Jianwen Yin, Yi Deng et al. · IEEE Transactions on Software Engineering · 2003 · 70 citations

Engineering, Software Engineering, Logical Code Mobility +17

An Automated Test Generation Technique for Software Quality Assurance

Dianxiang Xu, Weifeng Xu, Lijo Thomas et al. · IEEE Transactions on Reliability · 2014 · 54 citations

Software Maintenance, Engineering, Verification +22