Picture for Shing-Chi Cheung

Shing-Chi Cheung

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis

Jun 12, 2024
Viaarxiv icon

Is ChatGPT the Ultimate Programming Assistant -- How far is it?

Apr 24, 2023
Figure 1 for Is ChatGPT the Ultimate Programming Assistant -- How far is it?
Figure 2 for Is ChatGPT the Ultimate Programming Assistant -- How far is it?
Figure 3 for Is ChatGPT the Ultimate Programming Assistant -- How far is it?
Figure 4 for Is ChatGPT the Ultimate Programming Assistant -- How far is it?
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

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

Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network

Add code
Dec 06, 2021
Figure 1 for Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Figure 2 for Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Figure 3 for Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Figure 4 for Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network
Viaarxiv icon

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

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

Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations

Sep 06, 2019
Figure 1 for Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations
Figure 2 for Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations
Figure 3 for Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations
Figure 4 for Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations
Viaarxiv icon