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.