Concepedia

Dianxiang Xu

DX

38

Publications

1.2K

Citations

20

H-Index

2001

Active since

Affiliations

North Dakota State University(Current)

Dakota State University

Boise State University

Nanjing University

The University of Texas at Dallas

Dianxiang Xu is an author at North Dakota State University specializing in computer science, engineering, and software engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware EngineeringSoftware AnalysisProgram AnalysisFormal VerificationSoftware DesignFormal MethodsSoftware Testing

Publications per year

2001–2020

38

Publications

38

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

Rows per page

1–5 of 38