TY - RPRT TI - Formalizing Regression Testing for Agile and Continuous Integration Environments AU - Suddhasvatta Das AU - Kevin Gary PY - 2025 UR - https://arxiv.org/abs/2511.02810 ID - 2511.02810 ER -