Tarsis: An effective automata‐based abstract domain for string analysis. - Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro (Journal of Software: Evolution & Process, 2024)