Publications

Alsmadi, Izzat, Milson Munakami, and Dianxiang Xu. 2015. “Model-based testing of SDN firewalls: a case study”. 2015 Second International Conference on Trustworthy Systems and Their Applications, 81-88.

Xu, Dianxiang, Yunpeng Zhang, and Ning Shen. 2015. “Formalizing semantic differences between combining algorithms in XACML 3.0 policies”. 2015 IEEE International Conference on Software Quality, Reliability and Security, 163-72.

Xu, Dianxiang, Weifeng Xu, Manghui Tu, Ning Shen, William Chu, and Chih-Hung Chang. 2015. “Automated integration testing using logical contracts”. IEEE Transactions on Reliability 65 (3): 1205-22.

Alsmadi, Izzat, and Dianxiang Xu. 2015. “Security of software defined networks: A survey”. Computers & Security 53: 79-108.

Xu, Dianxiang, Ning Shen, and Yunpeng Zhang. 2015. “Detecting Incorrect Uses of Combining Algorithms in XACML 3.0 Policies”. International Journal of Software Engineering and Knowledge Engineering 25 (09n10): 1551-71.

Xu, Dianxiang, and Ning Shen. 2014. “Effectiveness of Automated Function Testing With Petri Nets: A Series of Controlled Experiments”. SEKE, 211-16.

Xu, Dianxiang, and Yunpeng Zhang. 2014. “Specification and analysis of attribute-based access control policies: An overview”. 2014 IEEE Eighth International Conference on Software Security and Reliability-Companion, 41-49.

Lakkaraju, Sandeep, and Dianxiang Xu. 2014. “Integrated modeling and analysis of attribute based access control policies and workflows in healthcare”. 2014 International Conference on Trustworthy Systems and Their Applications, 36-43.

Xu, Weifeng, Tao Ding, and Dianxiang Xu. 2014. “Rule-Based Test Input Generation from Bytecode”. 2014 Eighth International Conference on Software Security and Reliability (SERE), 108-17.

Xu, Dianxiang, Weifeng Xu, and Manghui Tu. 2014. “Automated Generation of Integration Test Sequences from Logical Contracts”. 2014 IEEE 38th International Computer Software and Applications Conference Workshops, 632-37.