PyTy: Repairing Static Type Errors in Python. - Chow, Yiu Wai; Di Grazia, Luca; Pradel, Michael (ICSE: International Conference on Software Engineering, 2024)