Shows improved test case prioritization and coverage in software testing, indicating enhanced fault detection efficiency.
Software testing is fundamental to system reliability and remains resource-intensive. Traditional frameworks often treat test case generation and prioritization as disconnected phases, neglecting the rich coverage metadata produced during generation and necessitating costly pre-execution. To bridge this gap, we present an integrated framework that enables profiling-free prioritization by reusing generation-time coverage metadata, with the objective of enabling earlier accumulation of multi-criteria structural coverage during test execution, and empirically facilitating earlier fault exposure. The proposed framework features Multiple Coverage Test Case Generation (MCTCG), an enhanced symbolic execution tool engineered to generate test suites satisfying six diverse coverage criteria while simultaneously capturing granular coverage data. Leveraging this intrinsic data, TCPall-first performs greedy multi criteria coverage prioritization by maximizing marginal structural coverage in the execution prefix, without requiring re-execution. Experimental results on CodeNet and RERS benchmarks demonstrate that MCTCG achieves superior coverage and bug detection rates compared to baseline tools. Furthermore, TCPall-first significantly outperforms state-of-the-art prioritization methods, improving the Average Percentage of Faults Detected (APFD) by 4.11% and reducing the first-fail metric by 8.7%. This work effectively enhances testing efficiency by seamlessly unifying the generation and prioritization processes, making it particularly valuable for standard-compliant white-box testing.
No takes yet. Share an insight, caveat, or question.
Xu et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: