5 papers
On the Second-Order Positive Burgers' Equation: Integrability, Lax Pair, Darboux Transformations, and Lie Symmetry Reduction
Suman Pal, Prasanta chatterjee
This paper derives the second-order positive Burgers' equation from the standard Burgers' hierarchy to explore its complete integrability and exact analytical solutions. We constru…
KBSpec: LLM-driven Formal Specification Generation with Evolving Domain Knowledge Base
Wenhan Wang, Zeyu Sun
Automated formal specification generation is a key step towards program understanding and formal verification. Recently, due to the success of large language models (LLMs) in code…
Can Large Language Models Reason About Complex Execution Paths? An Empirical Study on Python
Wenhan Wang, Kaibo Liu, Zeyu Sun +4
Execution path reasoning is a key step towards program semantics understanding. It is crucial for generating test cases that cover certain branches/paths, or detecting bugs that ar…
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…
Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
Wenhan Wang, Xuan Xie, Yuheng Huang +3
Testing autonomous driving systems (ADS) is critical to ensuring their reliability and safety. Existing ADS testing works focuses on designing scenarios to evaluate system-level be…