Effective error-specification inference via domain-knowledge expansion. - Daniel DeFreez; Haaken Martinson Baldwin; Cindy Rubio-González; Aditya V. Thakur (ESEC/SIGSOFT FSE, 2019)