SearcharxivSearch

arXiv subjects

Runlin Liu

Publications and source records attributed to Runlin Liu.

3 recordsLinked to original sources

Code2Bench: Scaling Source and Rigor for Dynamic Benchmark Construction

The evaluation of code-generating Large Language Models (LLMs) is fundamentally constrained by two intertwined challenges: a reliance on static, easily contaminated problem sources and the use of superficial, low-rigor testing. This paper introduces a new benchmark construction philosophy, Dual Scaling, designed to systematically address both limitations. Our approach involves continuously scaling the source of problems from dynamic, real-world code repositories and systematically scaling the rigor of tests via automated, high-coverage Property-Based Testing (PBT). We instantiate this philosophy in CODE2BENCH, an end-to-end framework that leverages Scope Graph analysis for principled dependency classification and a 100% branch coverage quality gate to ensure test suite integrity. Using this framework, we construct CODE2BENCH-2509, a new benchmark suite with native instances in both Python and Java. Our extensive evaluation of 10 state-of-the-art LLMs on CODE2BENCH-2509, powered by a novel "diagnostic fingerprint" visualization, yields three key insights: (1) models exhibit a fundamental performance gap, excelling at API application (Weakly Self-Contained tasks) but struggling with algorithmic synthesis (Self-Contained tasks); (2) a model's performance is profoundly shaped by the target language's ecosystem, a nuance we are the first to systematically quantify; and (3) our rigorous, scaled testing is critical in uncovering an "illusion of correctness" prevalent in simpler benchmarks. Our work presents a robust, scalable, and diagnostic paradigm for the next generation of LLM evaluation in software engineering. The code, data, and results are available at https://code2bench.github.io/.

cs.SE

Type-aware LLM-based Regression Test Generation for Python Programs

Automated regression test generation has been extensively explored, yet generating high-quality tests for Python programs remains particularly challenging. Because of the Python's dynamic typing features, existing approaches, ranging from search-based software testing (SBST) to recent LLM-driven techniques, are often prone to type errors. Hence, existing methods often generate invalid inputs and semantically inconsistent test cases, which ultimately undermine their practical effectiveness. To address these limitations, we present Test4Py, a novel framework that enhances type correctness in automated test generation for Python. Test4Py leverages the program's call graph to capture richer contextual information about parameters, and introduces a behavior-based type inference mechanism that accurately infers parameter types and construct valid test inputs. Beyond input construction, Test4Py integrates an iterative repair procedure that progressively refines generated test cases to improve coverage. In an evaluation on 183 real-world Python modules, Test4Py achieved an average statement coverage of 83.0% and branch coverage of 70.8%, outperforming state-of-the-art tools by 7.2% and 8.4%, respectively.

cs.SE

Nonlinear susceptibilities of heavy ion collisions within the Polyakov-loop-extended Nambu-Jona-Lasinio model

The baryon-number susceptibilities is correlated to the fluctuations obtained in experiments, we can theoretically calculate the susceptibility and compare it with the experimental fluctuations data. In this paper, we calculate the baryon-number susceptibilities from the Polyakov-loop-extended Nambu-Jona-Lasinio (PNJL) model, then compare them with the the heavy ion collision experimental fluctuation data and the results from other models, lattice QCD and the Dyson-Schwinger equations (DSEs) approach. Our results are in line with the experiment and very similar to the results of DSEs at experimental points, which shows that the PNJL model is suitable for studying this issue.

hep-ph