| 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 | 45 | 2015 |
| Automatically testing web services choreography with assertions L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 38 | 2010 |
| TzuYu: Learning Stateful Typestates H Xiao, J Sun, Y Liu, SW Lin, C Sun Automated Software Engineering (ASE), 2013 IEEE/ACM 28th International …, 2013 | 31 | 2013 |
| 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 | 16 | 2017 |
| Online Malware Defense Using Attack Behavior Model. S Das, H Xiao, Y Liu, W Zhang IEEE International Symposium on Circuits & Systems (ISCAS 2016), 2016 | 15 | 2016 |
| 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 | 13 | 2015 |
| Web services choreography validation Z Wang, L Zhou, Y Zhao, J Ping, H Xiao, G Pu, H Zhu Service Oriented Computing and Applications 4, 291-305, 2010 | 12 | 2010 |
| 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 | 4 | 2016 |
| 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 | 4 | 2009 |
| 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 | 3 | 2014 |
| Automatic model learning and its applications in malware detection X Hao | 2 | 2017 |
| 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 | 1 | 2011 |
| 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 | 1 | 2010 |
| FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers.(2017). ASE'17: Proceedings of the 32nd IEEE SW LIN, J SUN, H XIAO, Y LIU, D SANA, H HANSEN ACM International Conference on Automated Software Engineering: October, 793-803, 0 | | |
| 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 | | |
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
