Dianxiang Xu
University of Missouri–Kansas City(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Software Engineering Research, Advanced Software Engineering Methodologies, Software Reliability and Analysis Research, Service-Oriented Architecture and Web Services
Most-Cited Works
- CAST: collaborative agents for simulating teamwork(2001)
- → Automated Security Test Generation with Formal Threat Models(2012)98 cited
- → A threat model‐based approach to security testing(2012)74 cited
- → A formal architectural model for logical agent mobility(2003)70 cited
- → An Automated Test Generation Technique for Software Quality Assurance(2014)54 cited
- → Compositional schedulability analysis of real-time systems using time Petri nets(2002)53 cited
- → A Threat Model Driven Approach for Security Testing(2007)53 cited
- → A Tool for Automated Test Code Generation from High-Level Petri Nets(2011)49 cited
- → Modeling and verifying multi-agent behaviors using predicate/transition nets(2002)46 cited
- → Modeling mobile agent systems with high level Petri nets(2002)41 cited