Ribeiro, A., & Ferreira, C. (2023). MagmaCt-Gen [Computer software]. https://github.com/acm-ribeiro/magmact-gen