Handbook of Finite State Based Models and Applications
Wang, Jiacun. 2012. Handbook of Finite State Based Models and Applications. CRC press.
Search
Search results
91 results found
Identifying suspicious addresses in Bitcoin thefts
Wu, Yan, Anthony Luo, and Dianxiang Xu. 2019. “Identifying Suspicious Addresses in Bitcoin Thefts”. Digital Investigation 31: 200895.
Formalizing semantic differences between combining algorithms in XACML 3.0 policies
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.
Towards an enhanced design level security: integrating attack trees with statecharts
Ariss, Omar El, Jianfei Wu, and Dianxiang Xu. 2011. “Towards an Enhanced Design Level Security: Integrating Attack Trees With Statecharts”. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 1-10.
Reach Availability Modeling of Replicated Services
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.
Rule-Based Test Input Generation from Bytecode
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.
Testing access control and obligation policies
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.
A systematic capture and replay strategy for testing complex gui based java applications
Ariss, Omar El, Dianxiang Xu, Santosh Dandey, Brad Vender, Phil McClean, and Brian Slator. 2010. “A Systematic Capture and Replay Strategy for Testing Complex Gui Based Java Applications”. 2010 Seventh International Conference on Information Technology: New Generations, 1038-43.
Prioritizing state-based aspect tests
Xu, Dianxiang, and Junhua Ding. 2010. “Prioritizing State-Based Aspect Tests”. 2010 Third International Conference on Software Testing, Verification and Validation, 265-74.
Privacy and social capital in online social networks
Cho, Jin-Hee, Izzat Alsmadi, and Dianxiang Xu. 2016. “Privacy and Social Capital in Online Social Networks”. 2016 IEEE Global Communications Conference (GLOBECOM), 1-7.