Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2020
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…