ISSTA – Journal Issue |
Contents -
Abstracts -
Authors
|
shellcheck, and adherence to the required reasoning format. We evaluate BashCoder-R1 on BashBench, a benchmark we construct from 952 real-world automation tasks (773 single-line commands and 179 multi-line scripts), against a wide range of state-of-the-art baselines. BashCoder-R1 attains SyntaxPass of 100.00% / 94.97%, RobustWarnRate of 4.01% / 16.47%, RobustPass of 95.99% / 79.33%, FuncRate of 93.01% / 93.85%, and FullRate of 90.04% / 73.18% on single-line / multi-line tasks respectively, a relative FullRate improvement of 37.82% and 20.18% over the strongest baseline, DeepSeek-V3.2 (Reasoning). Human evaluation across Functionality, Robustness, and Clarity further confirms that BashCoder-R1's reasoning chains are rated highest in quality among all compared systems.
Any, ignoring such types during constraint solving, improving performance and scalability. Second, our novel, iterative constraint-solving approach saves on computation and skips constraints involving missing types. Our extensive evaluations show that our insights improve both performance and scalability compared to SnR (the state of the art). Specifically, Scitix achieves F1-scores of 94.8% and 86.8% on Stack Overflow and generated code snippets, respectively, using a large knowledge base of over 3,000 jars. In contrast, SnR consistently times out, yielding near 0% F1. Even with the smallest knowledge base, where SnR does not time out, Scitix reduces the number of errors by 77% and 45% compared to SnR. Compared to state-of-the-art large language models (LLMs) like GPT-4o and the LLM-based ZS4C, Scitix improves F1-score by 76.8% and 35.4%, respectively. Scitix’s strong performance highlights its potential as a practical technique for type inference in real-world code snippets.
proc time: 4.85