TY - RPRT TI - Fine-Grained Assertion-Based Test Selection AU - Sijia Gu AU - Ali Mesbah PY - 2025 UR - https://arxiv.org/abs/2403.16001 ID - 2403.16001 ER -