4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2026
CONCUR: Benchmarking LLMs for Concurrent Code Generation
Jue Huang, Tarek Mahmud, Corina Pasareanu +1
Leveraging Large Language Models (LLMs) for code generation has increasingly emerged as a common practice in the domain of software engineering. Relevant benchmarks have been estab…
cs.SE2020★ 4 cited
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…