Abstract: The Spectrum-based Software Fault Localization (SBFL) method has been proved to be effective. The SBFL mainly analyzes the execution information of the test case set on each program entity ...

Abstract: String constraint problems faced by program analysis tools are pervasive in programming, but datasets built specifically for real-world string constraints are rare. To understand the ...