Publications

Xu, Dianxiang, Omar El-Ariss, Weifeng Xu, and Linzhang Wang. 2012. “Testing aspect-oriented programs with finite state machines”. Software Testing, Verification and Reliability 22 (4): 267-93.

Tu, Manghui, Dianxiang Xu, Samsuddin Wira, Cristian Balan, and Kyle Cronin. 2012. “On the development of a digital forensics curriculum”. Journal of Digital Forensics, Security and Law 7 (3): 2.

Xu, Dianxiang, and Weifeng Xu. 2012. “Bharath K Bavikati, W. Eric Wong,‘Mining Executable Specifications of Web Applications from Selenium IDE Tests’ Proc. IEEE 6th International Conference on Software Security and Reliability (SERE 12)”. IEEE Press.

Ariss, Omar El, and Dianxiang Xu. 2012. “Secure system modeling: Integrating security attacks with statecharts”. International Journal of Software and Informatics 6 (2): 271-306.

Tu, Manghui, Dianxiang Xu, Eugene Butler, and Amanda Schwartz. 2012. “Forensic Evidence Identification and Modeling for Attacks against a Simulated Online Business Information System”. Journal of Digital Forensics, Security and Law 7 (4): 4.

Sanford, Michael, Daniel Woodraska, and Dianxiang Xu. 2011. “Security Analysis of FileZilla Server Using Threat Models”. SEKE, 678-82.

Thomas, Lijo, Weifeng Xu, and Dianxiang Xu. 2011. “Mutation analysis of magento for evaluating threat model-based security testing”. 2011 IEEE 35th Annual Computer Software and Applications Conference Workshops, 184-89.

Xu, Dianxiang. 2011. “A tool for automated test code generation from high-level Petri nets”. International Conference on Application and Theory of Petri Nets and Concurrency, 308-17.

Woodraska, Daniel, Michael Sanford, and Dianxiang Xu. 2011. “Security mutation testing of the FileZilla FTP server”. Proceedings of the 2011 ACM Symposium on Applied Computing, 1425-30.

Tu, Manghui, Dianxiang Xu, Zhonghang Xia, and Jicheng Fu. 2011. “Reach Availability Modeling of Replicated Services”. 2011 IEEE 35th Annual Computer Software and Applications Conference, 688-93.