Tu, Manghui, Hui Ma, Liangliang Xiao, I-Ling Yen, Farokh Bastani, and Dianxiang Xu. 2013. “Data Placement in P2P Data Grids Considering the Availability, Security, Access Performance and Load Balancing”. Journal of Grid Computing 11 (1): 103-27.
Publications
2013
Marback, Aaron, Hyunsook Do, Ke He, Samuel Kondamarri, and Dianxiang Xu. 2013. “A Threat Model-Based Approach to Security Testing”. Software: Practice and Experience 43 (2): 241-58.
2012
Xu, Dianxiang, and Janghwan Tae. 2012. “Automated Generation of Concurrent Test Code from Function Nets.”. SEKE, 346-51.
Xu, Dianxiang, and William Chu. 2012. “A Methodology for Building Effective Test Models With Function Nets”. 2012 IEEE 36th Annual Computer Software and Applications Conference, 334-39.
Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.
Xu, Dianxiang, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. 2012. “A Model-Based Approach to Automated Testing of Access Control Policies”. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 209-18.
Xu, Dianxiang, Weifeng Xu, Bharath K Bavikati, and Eric Wong. 2012. “Mining Executable Specifications of Web Applications from Selenium IDE Tests”. 2012 IEEE Sixth International Conference on Software Security and Reliability, 263-72.
Ding, Junhua, and Dianxiang Xu. 2012. “Model-Based Metamorphic Testing: A Case Study.”. SEKE, 363-68.
Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.
Xu, Dianxiang, Manghui Tu, Michael Sanford, Lijo Thomas, Daniel Woodraska, and Weifeng Xu. 2012. “Automated Security Test Generation With Formal Threat Models”. IEEE Transactions on Dependable and Secure Computing 9 (4): 526-40.