How Developers Implement Property-Based Tests. - Arthur Lisboa Corgozinho; Marco Túlio Valente; Henrique Rocha (ICSME, 2023)