5 citations · 6 across the 6 of their papers we have counts for
Showing 2024 · cs.SEShow all
2 papers · 2 filters
cs.SE2024★ 1 cited
Python Symbolic Execution with LLM-powered Code Generation
Wenhan Wang, Kaibo Liu, An Ran Chen +4
Symbolic execution is a key technology in software testing, which generates test cases by collecting symbolic path constraints and then solving constraints with SMT solvers. Symbol…
cs.SE2024★ 5 cited
TESTEVAL: Benchmarking Large Language Models for Test Case Generation
Wenhan Wang, Chenyuan Yang, Zhijie Wang +6
Testing plays a crucial role in the software development cycle, enabling the detection of bugs, vulnerabilities, and other undesirable behaviors. To perform software testing, teste…