Picture for Meiziniu Li

Meiziniu Li

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis

Add code
Jun 12, 2024
Figure 1 for DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis
Figure 2 for DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis
Figure 3 for DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis
Figure 4 for DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis
Viaarxiv icon

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing

Add code
Aug 02, 2022
Figure 1 for MEMO: Coverage-guided Model Generation For Deep Learning Library Testing
Figure 2 for MEMO: Coverage-guided Model Generation For Deep Learning Library Testing
Figure 3 for MEMO: Coverage-guided Model Generation For Deep Learning Library Testing
Figure 4 for MEMO: Coverage-guided Model Generation For Deep Learning Library Testing
Viaarxiv icon

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs

Add code
May 04, 2022
Figure 1 for DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Figure 2 for DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Figure 3 for DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Figure 4 for DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs
Viaarxiv icon

SemMT: A Semantic-based Testing Approach for Machine Translation Systems

Add code
Dec 03, 2020
Figure 1 for SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Figure 2 for SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Figure 3 for SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Figure 4 for SemMT: A Semantic-based Testing Approach for Machine Translation Systems
Viaarxiv icon