南京大学软件学院教授、博导,主要从事智能软件工程研究。IEEE 国际软件测试大赛发起人,江苏省计算机学会产业工委执行主任,CCF 杰出讲者,国家一流本科课程《软件测试》负责人。主持国家重点研发计划课题、国家自然科学基金重点项目等多项科研项目,部分成果已在百度、阿里、华为等企业转化。
学术论文
- 2026
Deep Learning Framework Testing via Model Mutation: How Far Are We?
CCF-A IEEE Transactions on Software Engineering
- 2026
Drivence: Realistic Driving Sequence Synthesis for Testing Multi-Sensor Fusion Perception Systems
CCF-A IEEE Transactions on Software Engineering
- 2026
Human Cognitive Pattern Simulation for Crowdsourced Test Report Consistency Detection
CCF-A IEEE Transactions on Software Engineering
- 2026
Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components
CCF-A IEEE/ACM International Conference on Software Engineering (ICSE)
- 2026
Vision-Based Mobile App GUI Testing: A Survey
CCF-A ACM Computing Surveys
- 2025
A Large-Scale Empirical Study on Fine-Tuning Large Language Models for Unit Testing
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2025
ACTesting: Automated Cross-modal Testing Method of Text-to-Image Software
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators
CCF-A ACM Transactions on Software Engineering and Methodology
其余 99 篇论文 展开全部 收起
- 2025
DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2025
DeepKernel: 2D-kernels clustering based mutant reduction for cost-effective deep learning model testing
CCF-B Journal of Systems and Software
- 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
Exploring Automated Assertion Generation via Large Language Models
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
FunFuzz: Greybox Fuzzing with Function Significance
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Hidden Backdoor Attack against Neural Code Search Models
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Improving Deep Assertion Generation via Fine-Tuning Retrieval-Augmented Pre-Trained Language Models
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Improving Deep Learning Framework Testing with Model-Level Metamorphic Testing
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2025
Improving Retrieval-Augmented Deep Assertion Generation via Joint Training
CCF-A IEEE Transactions on Software Engineering
- 2025
Multi-dimensional Assessment of Crowdsourced Testing Reports via LLMs
CCF-A International Conference on Automated Software Engineering (ASE)
- 2025
Mutual Information Guided Backdoor Mitigation for Pre-Trained Encoders
CCF-A IEEE Transactions on Information Forensics and Security
- 2025
pFedLVM: A Large Vision Model (LVM)-Driven and Latent Feature-Based Personalized Federated Learning Framework in Autonomous Driving
CCF-B IEEE Transactions on Intelligent Transportation Systems
- 2025
Pre-trained Model-based Actionable Warning Identification: A Feasibility Study
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Security of Language Models for Code: A Systematic Literature Review
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Source Code Summarization in the Era of Large Language Models
CCF-A International Conference on Software Engineering (ICSE)
- 2025
Spatial Semantic Fuzzing for LiDAR-Based Autonomous Driving Perception Systems
CCF-A IEEE Transactions on Software Engineering
- 2025
Test Script Intention Generation for Mobile Application via GUI Image and Code Understanding
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
Text–image fusion template for large language model assisted crowdsourcing test aggregation
CCF-B Journal of Systems and Software
- 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)
- 2025
Understanding LLM-Centric Challenges for Deep Learning Frameworks: An Empirical Analysis
CCF-A ACM Transactions on Software Engineering and Methodology
- 2025
When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
CCF-A IEEE/ACM International Conference on Automated Software Engineering (ASE)
- 2024
A Large-Scale Empirical Study of Actionable Warning Distribution Within Projects
CCF-A IEEE Transactions on Dependable and Secure Computing
- 2024
A Survey of Source Code Search: A 3-Dimensional Perspective
CCF-A ACM Transactions on Software Engineering and Methodology
- 2024
A Systematic Literature Review on Large Language Models for Automated Program Repair
CCF-A ACM Transactions on Software Engineering and Methodology
- 2024
An Extractive-and-Abstractive Framework for Source Code Summarization
CCF-A ACM Transactions on Software Engineering and Methodology
- 2024
APPT: Boosting Automated Patch Correctness Prediction via Fine-Tuning Pre-Trained Models
CCF-A IEEE Transactions on Software Engineering
- 2024
Benchmarking Object Detection Robustness against Real-World Corruptions
CCF-A International Journal of Computer Vision
- 2024
CooTest: An Automated Testing Approach for V2X Communication Systems
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2024
COPS: An improved information retrieval-based bug localization technique using context-aware program simplification
CCF-B Journal of Systems and Software
- 2024
Coverage Goal Selector for Combining Multiple Criteria in Search-Based Unit Test Generation
CCF-A IEEE Transactions on Software Engineering
- 2024
DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation
CCF-A International Conference on Automated Software Engineering (ASE)
- 2024
DiPri: Distance-Based Seed Prioritization for Greybox Fuzzing
CCF-A ACM Transactions on Software Engineering and Methodology
- 2024
Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning
CCF-A ACM Transactions on Software Engineering and Methodology
- 2024
Enhanced Crowdsourced Test Report Prioritization via Image-and-Text Semantic Understanding and Feature Integration
CCF-A IEEE Transactions on Software Engineering
- 2024
Esale: Enhancing Code-Summary Alignment Learning for Source Code Summarization
CCF-A IEEE Transactions on Software Engineering
- 2024
Improving actionable warning identification via the refined warning-inducing context representation
CCF-A Science China Information Sciences
- 2024
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
CCF-A International Conference on Software Engineering (ICSE)
- 2024
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
CCF-A International Conference on Automated Software Engineering (ASE)
- 2024
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms
CCF-A International Conference on Software Engineering (ICSE)
- 2024
Practical, Automated Scenario-Based Mobile App Testing
CCF-A IEEE Transactions on Software Engineering
- 2024
Semantic-guided fuzzing for virtual testing of autonomous driving systems
CCF-B Journal of Systems and Software
- 2024
Semi-supervised Crowdsourced Test Report Clustering via Screenshot-Text Binding Rules
CCF-A ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE/ESEC)
- 2024
SoVAR: Build Generalizable Scenarios from Accident Reports for Autonomous Driving Testing
CCF-A International Conference on Automated Software Engineering (ASE)
- 2024
Test Case Generation for Ethereum Smart Contracts Based on Cross-Contract Data Flow Analysis
CCF-B IEEE Transactions on Reliability
- 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)
- 2024
TransformCode: A Contrastive Learning Framework for Code Embedding via Subtree Transformation
CCF-A IEEE Transactions on Software Engineering
- 2023
A Survey of Learning-based Automated Program Repair
CCF-A ACM Transactions on Software Engineering and Methodology
- 2023
Are duplicates really harmful? An empirical study on bug report summarization techniques
CCF-B Journal of Software: Evolution and Process
- 2023
Benchmarking Robustness of AI-Enabled Multi-sensor Fusion Systems: Challenges and Opportunities
CCF-A ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE/ESEC)
- 2023
Crowdsourced test case generation for android applications via static program analysis
CCF-B Automated Software Engineering
- 2023
Dynamic Data Fault Localization for Deep Neural Networks
CCF-A ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE/ESEC)
- 2023
Evaluating Ethereum Reentrancy Detection Tools via Mutation Testing
CCF-B IEEE International Symposium on Software Reliability Engineering (ISSRE)
- 2023
Gamma: Revisiting Template-Based Automated Program Repair Via Mask Prediction
CCF-A International Conference on Automated Software Engineering (ASE)
- 2023
Generation-based Differential Fuzzing for Deep Learning Libraries
CCF-A ACM Transactions on Software Engineering and Methodology
- 2023
Iterative Android automated testing
CCF-B Frontiers of Computer Science
- 2023
Mobile App Crowdsourced Test Report Consistency Detection via Deep Image-and-Text Fusion Understanding
CCF-A IEEE Transactions on Software Engineering
- 2023
Pre-Trained Model-Based Automated Software Vulnerability Repair: How Far are We?
CCF-A IEEE Transactions on Dependable and Secure Computing
- 2023
Security-based code smell definition, detection, and impact quantification in Android
CCF-B Software: Practice and Experience
- 2022
Adaptive Test Selection for Deep Neural Networks
CCF-A International Conference on Software Engineering (ICSE)
- 2022
ASRTest: automated testing for deep-neural-network-driven speech recognition systems
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2022
Classifying crowdsourced mobile test reports with image features: An empirical study
CCF-B Journal of Systems and Software
- 2022
DeepState: Selecting Test Suites to Enhance the Robustness of Recurrent Neural Networks
CCF-A International Conference on Software Engineering (ICSE)
- 2022
LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2022
META: Multidimensional Evaluation of Testing Ability
CCF-A International Conference on Software Engineering (ICSE)
- 2022
QATest: A Uniform Fuzzing Framework for Question Answering Systems
CCF-A International Conference on Automated Software Engineering (ASE)
- 2022
Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation
CCF-A International Conference on Automated Software Engineering (ASE)
- 2022
SemCluster: a semi-supervised clustering tool for crowdsourced test reports with deep image understanding
CCF-A ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE/ESEC)
- 2022
UniRLTest: universal platform-independent testing with reinforcement learning via image understanding
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2021
DialTest: automated testing for recurrent-neural-network-driven dialogue systems
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2021
Duo: Differential Fuzzing for Deep Learning Operators
CCF-B IEEE Transactions on Reliability
- 2021
Graph-based Fuzz Testing for Deep Learning Inference Engines
CCF-A International Conference on Software Engineering (ICSE)
- 2021
Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis
CCF-B IEEE Transactions on Reliability
- 2021
Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing
CCF-A International Conference on Software Engineering (ICSE)
- 2021
Predoo: precision testing of deep learning operators
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2021
Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding
CCF-A International Conference on Software Engineering (ICSE)
- 2021
Smart Contract Development: Challenges and Opportunities
CCF-A IEEE Transactions on Software Engineering
- 2021
TauMed: test augmentation of deep learning in medical diagnosis
CCF-A International Symposium on Software Testing and Analysis (ISSTA)
- 2020
DeepGini: prioritizing massive tests to enhance the robustness of deep neural networks
CCF-A ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
- 2020
Test recommendation system based on slicing coverage filtering
CCF-A ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
- 2019
A Unified Framework for Bug Report Assignment
CCF-C International Journal of Software Engineering and Knowledge Engineering
- 2019
CoCoTest: collaborative crowdsourced testing for Android applications
CCF-A ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
- 2019
CTRAS: a tool for aggregating and summarizing crowdsourced test reports
CCF-A ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
- 2019
CTRAS: crowdsourced test report aggregation and summarization
CCF-A IEEE/ACM International Conference on Software Engineering (ICSE)
- 2019
File-level socio-technical congruence and its relationship with bug proneness in OSS projects
CCF-B Journal of Systems and Software
- 2019
Global optimization of numerical programs via prioritized stochastic algebraic transformations
CCF-A IEEE/ACM International Conference on Software Engineering (ICSE)
- 2019
How does code style inconsistency affect pull request integration? An exploratory study on 117 GitHub projects
CCF-B Empirical Software Engineering
- 2019
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform
CCF-A IEEE/ACM International Conference on Automated Software Engineering (ASE)
- 2019
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
CCF-A IEEE/ACM International Conference on Automated Software Engineering (ASE)
- 2019
NeuralVis: Visualizing and Interpreting Deep Learning Models
CCF-A IEEE/ACM International Conference on Automated Software Engineering (ASE)
- 2019
Successes, challenges, and rethinking - an industrial investigation on crowdsourced mobile application testing
CCF-B Empirical Software Engineering
- 2018
How practitioners perceive automated bug report management techniques
CCF-A [J]. IEEE Transactions on Software Engineering, 2018, 46(8): 836-862
- 2017
Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing
CCF-A IEEE Transactions on Software Engineering
- 2016
Multi-objective test report prioritization using image understanding
CCF-A IEEE/ACM International Conference on Automated Software Engineering (ASE)
- 2016
Revisit of automatic debugging via human focus-tracking analysis
CCF-A IEEE/ACM International Conference on Software Engineering (ICSE)
- 2016
SITAR: GUI Test Script Repair
CCF-A IEEE Transactions on Software Engineering
- 2016
Verifying Synchronization for Atomicity Violation Fixing
CCF-A IEEE Transactions on Software Engineering
- 2015
EFSM-Based Test Case Generation: Sequence, Data, and Oracle
CCF-C International Journal of Software Engineering and Knowledge Engineering
- 2015
Test report prioritization to assist crowdsourced testing
CCF-A ACM International Conference on the Foundations of Software Engineering (FSE)
- 2014
Virtual DOM coverage for effective testing of dynamic web applications
CCF-A ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
专利
- 2022
- 2021
- 2021
- 2021
- 2021
- 2021
其余 5 项专利 展开全部 收起
- 2021
- 2021
- 2021
- 2021
- 2021