3 papers
cs.SE2024
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…
cs.SE2023
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…
cs.SE2023
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…