The first version of Ultimate TestGen can be found here(DOI): https://zenodo.org/doi/10.5281/zenodo.10054716