91 citations · 100 across the 11 of their papers we have counts for
Showing 2025 · cs.SEShow all
2 papers · 2 filters
cs.SE2025
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…
cs.SE2025
Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
Md. Ashraf Uddin, Shaowei Wang, An Ran Chen +3
An assertion is commonly used to validate the expected programs behavior (e.g., if the returned value of a method equals an expected value) in software testing. Although it is a re…