Hao Xiao
Hao Xiao
Veracode
Verified email at veracode.com
Title
Cited by
Cited by
Year
Automatically testing web services choreography with assertions
L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding
International Conference on Formal Engineering Methods, 138-154, 2010
352010
Detection and Classification of Malicious JavaScript via Attack Behavior Modelling
Y Xue, J Wang, Y Liu, H Xiao, J Sun, M Chandramohan
The International Symposium on Software Testing and Analysis (ISSTA), 48--59, 2015
282015
TzuYu: Learning Stateful Typestates
H Xiao, J Sun, Y Liu, SW Lin, C Sun
Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International …, 2013
282013
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
SW Lin, J Sun, H Xiao, Y Liu, D Sana, H Hansen
The 32nd IEEE/ACM International Conference on Automated Software Engineering …, 2017
122017
Online Malware Defense Using Attack Behavior Model.
S Das, H Xiao, Y Liu, W Zhang
IEEE International Symposium on Circuits & Systems (ISCAS 2016), 2016
122016
Web services choreography validation
Z Wang, L Zhou, Y Zhao, J Ping, H Xiao, G Pu, H Zhu
Service Oriented Computing and Applications 4 (4), 291-305, 2010
122010
TLV: Abstraction through Testing, Learning, and Validation
J Sun, H Xiao, Y Liu, SW Lin, S Qin
ACM SIGSOFT Symposium on Foundations of Software of Engineering (FSE), 698--709, 2015
112015
Simulation and validation of Web services choreography
L Zhou, H Xiao, J Ping, G Pu, H Zhang
2009 IEEE International Conference on Service-Oriented Computing and …, 2009
42009
Improving Quality of Use Case Documents through Learning and User Interaction
S Liu, J Sun, H Xiao, B Wadhwa, J Dong, X Wang
International Conference on Engineering of Complex Computer Systems (ICECCS …, 2016
32016
The semantics and verification of timed service choreography
Y Zhao, H Xiao, Z Wang, G Pu, T Su
International Journal of Computer Mathematics 91 (3), 384-402, 2014
22014
A Unifying Approach to Validating Specification-Oriented XML Constraints
Y Zhao, Z Wang, H Xiao, J Ping, G Pu, J He, H Zhu
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011
12011
Constraint checking for xml-based language specification by sat solver
H Xiao, Z Wang, G Pu, B Gu
2010 Fourth International Conference on Secure Software Integration and …, 2010
12010
A Unifying Approach to Validate Specification-Oriented XML Constraints
Y Zhao, Z Wang, H Xiao, J Ping, G Pu, J He
The system can't perform the operation now. Try again later.
Articles 1–13