Property tests as specifications towards better code completion - Afonso Jorge Moreira Maia Ramos (2020)