Publications

Xu, Dianxiang, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, and Yves Le Traon. 2014. “Automated model-based testing of role-based access control using predicate/transition nets”. IEEE Transactions on Computers 64 (9): 2490-2505.

Xu, Dianxiang, Weifeng Xu, Michael Kent, Lijo Thomas, and Linzhang Wang. 2014. “An automated test generation technique for software quality assurance”. IEEE Transactions on Reliability 64 (1): 247-68.

Xu, Dianxiang, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, and Michael To. 2013. “Testing access control and obligation policies”. 2013 International Conference on Computing, Networking and Communications (ICNC), 540-44.

Tu, Manghui, Liangliang Xiao, and Dianxiang Xu. 2013. “Maximizing the availability of replicated services in widely distributed systems considering network availability”. 2013 IEEE 7th International Conference on Software Security and Reliability, 178-87.

Xu, Dianxiang, Michael Sanford, Zhaoliang Liu, Spencer Johnson, Mark Emry, Brad Brockmueller, and Michael To. 2013. “Testing access control and obligation policies”. 2013 International Conference on Computing, Networking and Communications (ICNC), 540-44.

Tu, Manghui, and Dianxiang Xu. 2013. “System resilience modeling and enhancement for the cloud”. 2013 International Conference on Computing, Networking and Communications (ICNC), 1021-25.

Xu, Dianxiang. 2013. “Software security testing of an online banking system: a unique research experience for undergraduates and computer teachers”. Proceeding of the 44th ACM Technical Symposium on Computer Science Education, 705-10.

Ding, Junhua, Dianxiang Xu, and Jidong Ge. 2013. “An Approach for Analyzing Software Specifications in Petri Nets”. SEKE, 411-16.

Xu, Weifeng, Tao Ding, Hanlin Wang, and Dianxiang Xu. 2013. “Mining test oracles for test inputs generated from java bytecode”. 2013 IEEE 37th Annual Computer Software and Applications Conference, 27-32.

Tu, Manghui, and Dianxiang Xu. 2013. “Resilience As a New System Engineering for Cloud Computing”. J. Commun. 8 (4): 267-74.