MEMBER PROFILE
肖媛
博士研究生
SELECTED OUTPUTS
共 5 篇学术论文
- 2025
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2025
Eliminating Backdoors in Neural Code Models for Secure Code Understanding
CCF-A ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE/ESEC)
- 2025
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
CCF-A IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)
- 2024
CooTest: An Automated Testing Approach for V2X Communication Systems
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2024
Towards General Robustness Verification of MaxPool-Based Convolutional Neural Networks via Tightening Linear Approximation
CCF-A IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)