Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleOctober 2024
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
ASE '24: Proceedings of the 39th IEEE/ACM International Conference on Automated Software EngineeringPages 970–981https://doi.org/10.1145/3691620.3695478In recent years, Deep Learning (DL) applications in JavaScript environment have become increasingly popular. As the infrastructure for DL applications, JavaScript DL frameworks play a crucial role in the development and deployment. It is essential to ...
- research-articleJune 2024
Machine Translation Testing via Syntactic Tree Pruning
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 33, Issue 5Article No.: 125, Pages 1–39https://doi.org/10.1145/3640329Machine translation systems have been widely adopted in our daily life, making life easier and more convenient. Unfortunately, erroneous translations may result in severe consequences, such as financial losses. This requires to improve the accuracy and ...
- research-articleDecember 2023
- research-articleJuly 2023
Deep learning framework testing via hierarchical and heuristic model generation
Journal of Systems and Software (JSSO), Volume 201, Issue Chttps://doi.org/10.1016/j.jss.2023.111681AbstractDeep learning frameworks are the foundation of deep learning model construction and inference. Many testing methods using deep learning models as test inputs are proposed to ensure the quality of deep learning frameworks. However, there are still ...
Highlights- We propose Ramos, a hierarchical heuristic DL framework testing method.
- Ramos detects 15 crashes and 154 precision bugs under three widely-used frameworks, and 14 of these crashes are confirmed.
- We design a hierarchical structure ...
- short-paperJanuary 2023
ElecDaug: Electromagnetic Data Augmentation for Model Repair based on Metamorphic Relation
ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software EngineeringArticle No.: 158, Pages 1–5https://doi.org/10.1145/3551349.3559536With the application of deep learning (DL) in signal detection, improving the robustness of classification models has received much attention, especially in automatic modulation classification (AMC) of electromagnetic signals. A large amount of ...
- research-articleOctober 2022
TauPad: test data augmentation of point clouds by adversarial mutation
ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion ProceedingsPages 212–216https://doi.org/10.1145/3510454.3517050Point clouds have been widely used in a large number of application scenarios to handle with various deep learning (DL) tasks. Testing is an essential means to guarantee the robustness of DL models, which places high demands on test data. Therefore, it ...
- research-articleOctober 2022
TauLiM: test data augmentation of LiDAR point cloud by metamorphic relation
ICSE '22: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion ProceedingsPages 217–221https://doi.org/10.1145/3510454.3516860With the rapid development of object detection in deep learning (DL), applications on LiDAR point clouds have received much attention, such as autonomous driving. To verify the robustness of object detection models by testing, large amounts of ...
- research-articleJuly 2021
TauMed: test augmentation of deep learning in medical diagnosis
ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 674–677https://doi.org/10.1145/3460319.3469080Deep learning has made great progress in medical diagnosis. However, due to data standardization and privacy restriction, the acquisition and sharing of medical image data have been hindered, leading to the unacceptable accuracy of some intelligent ...
- research-articleJuly 2021
Predoo: precision testing of deep learning operators
ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 400–412https://doi.org/10.1145/3460319.3464843Deep learning(DL) techniques attract people from various fields with superior performance in making progressive breakthroughs. To ensure the quality of DL techniques, researchers have been working on testing and verification approaches. Some recent ...