Establish a scientific concept of network security and build a strong defense line of network security.
Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2020
SemCluster: clustering of imperative programming assignments based on quantitative semantic features.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
SLF: fuzzing without valid seed inputs.
Proceedings of the 41st International Conference on Software Engineering, 2019
UI driven Android application reduction.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Accelerating array constraints in symbolic execution.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017
Apex: automatic programming assignment error explanation.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016