4 citations · 4 across the 4 of their papers we have counts for
7 papers
Beyond Functional Correctness: Static Code Quality Profiling of LLM-Generated Code
Jue Huang, Tarek Mahmud, Meiru Che +1
Large language models (LLMs) are increasingly used for code generation, yet most evaluations still focus on whether generated code passes benchmark test suites. Functional correctn…
A Systematic Study of Deprecated Android API Usage Updates
Tarek Mahmud, Meiru Che, Guowei Yang
Android Application Programming Interfaces (APIs) continuously evolve, causing existing APIs to become deprecated and requiring developers to migrate their usages to recommended re…
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…
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 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…
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…