TY - RPRT TI - VISCA: Inferring Component Abstractions for Automated End-to-End Testing AU - Parsa Alian AU - Martin Tang AU - Ali Mesbah PY - 2025 UR - https://arxiv.org/abs/2506.04161 ID - 2506.04161 ER -