Parolini, F., & Miné, A. (2022). rat - ReDoS Abstract Tester (Version 0.1) [Computer software]. https://github.com/parof/rat