Follow
Dianxiang Xu
Title
Cited by
Cited by
Year
Cast: Collaborative agents for simulating teamwork
J Yen, J Yin, TR Ioerger, MS Miller, D Xu, RA Volz
International Joint Conference on Artificial Intelligence 17 (1), 1135-1144, 2001
2412001
Threat-driven modeling and verification of secure software using aspect-oriented Petri nets
D Xu, KE Nygard
IEEE Transactions on Software Engineering 32 (4), 265-278, 2006
2152006
Security of software defined networks: A survey
I Alsmadi, D Xu
computers & security 53, 79-108, 2015
2042015
Towards better fault localization: A crosstab-based statistical approach
WE Wong, V Debroy, D Xu
IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and …, 2011
1442011
Automated security test generation with formal threat models
D Xu, M Tu, M Sanford, L Thomas, D Woodraska, W Xu
IEEE transactions on dependable and secure computing 9 (4), 526-540, 2012
1372012
State-based incremental testing of aspect-oriented programs
D Xu, W Xu
Proceedings of the 5th international conference on Aspect-oriented software …, 2006
1172006
A formal architectural model for logical agent mobility
D Xu, J Yin, Y Deng, J Ding
IEEE Transactions on Software Engineering 29 (1), 31-45, 2003
1072003
A threat model‐based approach to security testing
A Marback, H Do, K He, S Kondamarri, D Xu
Software: Practice and Experience 43 (2), 241-258, 2013
892013
A threat model driven approach for security testing
L Wang, E Wong, D Xu
Proceedings of the Third International Workshop on Software Engineering for …, 2007
842007
A State-Based Approach to Testing Aspect-Oriented Programs.
D Xu, W Xu, KE Nygard
SEKE, 366-371, 2005
822005
Compositional schedulability analysis of real-time systems using time Petri nets
D Xu, X He, Y Deng
IEEE Transactions on Software Engineering 28 (10), 984-996, 2002
822002
A tool for automated test code generation from high-level Petri nets
D Xu
International Conference on Application and Theory of Petri Nets and …, 2011
752011
Modeling and verifying multi-agent behaviors using predicate/transition nets
D Xu, R Volz, T Ioerger, J Yen
Proceedings of the 14th international conference on Software engineering and …, 2002
702002
Modeling mobile agent systems with high level Petri nets
D Xu, Y Deng
Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000
692000
Misuse case-based design and analysis of secure software architecture
JJ Pauli, D Xu
International Conference on Information Technology: Coding and Computing …, 2005
672005
An automated test generation technique for software quality assurance
D Xu, W Xu, M Kent, L Thomas, L Wang
IEEE Transactions on Reliability 64 (1), 247-268, 2014
652014
Specifying behavioral semantics of UML diagrams through graph transformations
J Kong, K Zhang, J Dong, D Xu
Journal of Systems and Software 82 (2), 292-306, 2009
562009
Security test generation using threat trees
A Marback, H Do, K He, S Kondamarri, D Xu
2009 ICSE Workshop on automation of software test, 62-69, 2009
552009
A model-based approach to automated testing of access control policies
D Xu, L Thomas, M Kent, T Mouelhi, Y Le Traon
Proceedings of the 17th ACM symposium on Access Control Models and …, 2012
512012
Model-based test code generation for software testing
D Xu
US Patent App. 13/525,824, 2013
502013
The system can't perform the operation now. Try again later.
Articles 1–20