Dianxiang Xu
Papers
1
Total Citations
54
H-Index
1
About
Dr. Dianxiang Xu is a leading researcher in software engineering, with a primary focus on software quality assurance, security, and automated testing. His most impactful work addresses the critical challenge of ensuring reliability in increasingly complex software systems. Dr. Xu is best known for pioneering model-based test generation techniques that automate the creation of integration and system-level tests, significantly reducing the cost and effort of software validation. His seminal 2014 paper on this topic, which has garnered 54 citations, provides a foundational framework for generating effective test cases directly from system models, directly tackling the global demand for more robust software-enabled systems. Beyond this core contribution, his research spans security testing, access control, and formal methods, consistently aiming to bridge the gap between theoretical rigor and practical tool development. Dr. Xu’s work has had a tangible impact on how software quality is approached, offering scalable solutions that help developers build safer, more secure applications in an era of unprecedented software dependence.
Research Focus
Key Achievements
Top Papers
- 1An Automated Test Generation Technique for Software Quality Assurance54 citations · 2014