VISCA: Inferring Component Abstractions for Automated End-to-End Testing. - Parsa Alian; Martin Tang; Ali Mesbah 001 (CoRR, 2025)