Ariss, Omar El, Jianfei Wu, and Dianxiang Xu. 2011. “Towards an Enhanced Design Level Security: Integrating Attack Trees With Statecharts”. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 1-10.
Publications
2011
Ariss, Omar El, and Dianxiang Xu. 2011. “Modeling Security Attacks With Statecharts”. Proceedings of the Joint ACM SIGSOFT Conference—QoSA and ACM SIGSOFT Symposium—ISARCS on Quality of Software Architectures—QoSA and Architecting Critical Systems&Mdash;ISARCS, 123-32.
Wong, Eric, Vidroha Debroy, and Dianxiang Xu. 2011. “Towards Better Fault Localization: A Crosstab-Based Statistical Approach”. IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 42 (3): 378-96.
Ariss, Omar El, Dianxiang Xu, and Eric Wong. 2011. “Integrating Safety Analysis With Functional Modeling”. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 41 (4): 610-24.
2010
Xu, Dianxiang, and Junhua Ding. 2010. “Prioritizing State-Based Aspect Tests”. 2010 Third International Conference on Software Testing, Verification and Validation, 265-74.
Ariss, Omar El, Dianxiang Xu, Santosh Dandey, Brad Vender, Phil McClean, and Brian Slator. 2010. “A Systematic Capture and Replay Strategy for Testing Complex Gui Based Java Applications”. 2010 Seventh International Conference on Information Technology: New Generations, 1038-43.
Kong, Jun, Dianxiang Xu, and Xiaoqin Zeng. 2010. “UML-Based Modeling and Analysis of Security Threats”. International Journal of Software Engineering and Knowledge Engineering 20 (06): 875-97.
2009
Wu, Jianfei, Anne Denton, Omar Elariss, and Dianxiang Xu. 2009. “Mining for Core Patterns in Stock Market Data”. 2009 IEEE International Conference on Data Mining Workshops, 558-63.
Pinagapani, Sathish, Dianxiang Xu, and Jun Kong. 2009. “A Comparative Study of Access Control Languages”. 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 407-12.
Xu, Dian-Xiang, Omar El-Ariss, Wei-Feng Xu, and Lin-Zhang Wang. 2009. “Aspect-Oriented Modeling and Verification With Finite State Machines”. Journal of Computer Science and Technology 24 (5): 949-61.