Hao Xiao
Hao Xiao
Veracode
Verified email at veracode.com
Title
Cited by
Cited by
Year
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
372015
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
362010
TzuYu: Learning Stateful Typestates
H Xiao, J Sun, Y Liu, SW Lin, C Sun
Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International …, 2013
322013
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
142017
Online Malware Defense Using Attack Behavior Model.
S Das, H Xiao, Y Liu, W Zhang
IEEE International Symposium on Circuits & Systems (ISCAS 2016), 2016
132016
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
122015
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
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
42016
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
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
32014
Automatic model learning and its applications in malware detection
H XIAO
22017
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
TzuYu: Learning stateful typestates.(2013)
H XIAO, J SUN, Y LIU, SW LIN, C SUN
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated …, 0
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–15