| 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 | 241 | 2001 |
| Security of software defined networks: A survey I Alsmadi, D Xu computers & security 53, 79-108, 2015 | 223 | 2015 |
| 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 | 221 | 2006 |
| 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 | 153 | 2011 |
| 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 | 144 | 2012 |
| State-based incremental testing of aspect-oriented programs D Xu, W Xu Proceedings of the 5th international conference on Aspect-oriented software …, 2006 | 118 | 2006 |
| 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 | 108 | 2003 |
| 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 | 99 | 2013 |
| 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 | 84 | 2007 |
| 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 | 84 | 2002 |
| A State-Based Approach to Testing Aspect-Oriented Programs. D Xu, W Xu, KE Nygard SEKE, 366-371, 2005 | 83 | 2005 |
| 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 | 76 | 2011 |
| Modeling mobile agent systems with high level Petri nets D Xu, Y Deng Smc 2000 conference proceedings. 2000 ieee international conference on …, 2000 | 74 | 2000 |
| 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 | 71 | 2002 |
| 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 | 68 | 2014 |
| Misuse case-based design and analysis of secure software architecture JJ Pauli, D Xu International Conference on Information Technology: Coding and Computing …, 2005 | 68 | 2005 |
| 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 | 60 | 2009 |
| 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 | 56 | 2009 |
| 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 | 54 | 2012 |
| Integrating safety analysis with functional modeling O El Ariss, D Xu, WE Wong IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and …, 2011 | 53 | 2011 |
