109 citations · 138 across the 4 of their papers we have counts for
4 papers · 1 filter
Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability
Dong Huang, Tsz On Li, Xiaofei Xie +1
Deep Learning Systems (DLSs) have been widely applied in safety-critical tasks such as autopilot. However, when a perturbed input is fed into a DLS for inference, the DLS often has…
Is ChatGPT the Ultimate Programming Assistant -- How far is it?
Haoye Tian, Weiqi Lu, Tsz On Li +4
Recently, the ChatGPT LLM has received great attention: it can be used as a bot for discussing source code, prompting it to suggest changes, provide descriptions or even generate c…
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting
Tsz-On Li, Wenxi Zong, Yibo Wang +4
Automatically detecting software failures is an important task and a longstanding challenge. It requires finding failure-inducing test cases whose test input can trigger the softwa…
COMET: Coverage-guided Model Generation For Deep Learning Library Testing
Meiziniu Li, Jialun Cao, Yongqiang Tian +3
Recent deep learning (DL) applications are mostly built on top of DL libraries. The quality assurance of these libraries is critical to the dependable deployment of DL applications…