Natural Symbolic Execution-Based Testing for Big Data Analytics.
Proc. ACM Softw. Eng., 2024
PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis.
Proceedings of the 32nd USENIX Security Symposium, 2023
NaturalFuzz: Natural Input Generation for Big Data Analytics.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023