Publications (5)
Harnessing LLMs for Document-Guided Fuzzing of OpenCV Library
Bin Duan, Tarek Mahmud, Meiru Che +4
The combination of computer vision and artificial intelligence is fundamentally transforming a broad spectrum of industries by enabling machines to interpret and act upon visual da…
Testing Neural Networks via Bayesian-Guided Exploration of Decision Landscapes
Bin Duan, Meiru Che, Guowei Yang
As neural networks are increasingly deployed in safety-critical domains, testing is essential to evaluate and improve their reliability. Existing testing methods, whether black-box…
Harnessing LLMs for Document-Guided Fuzzing of Python Libraries
Bin Duan, Tarek Mahmud, Meiru Che +4
Python libraries underpin deep learning, scientific computing, data analysis, and computer vision, making their reliability critical to downstream applications. Testing their APIs…
Automated Update of Android Deprecated API Usages with Large Language Models
Tarek Mahmud, Bin Duan, Meiru Che +3
Android apps rely on application programming interfaces (APIs) to access various functionalities of Android devices. These APIs however are regularly updated to incorporate new fea…
Constraint Solving with Deep Learning for Symbolic Execution
Junye Wen, Mujahid Khan, Meiru Che +2
Symbolic execution is a powerful systematic software analysis technique, but suffers from the high cost of constraint solving, which is the key supporting technology that affects t…