A dataset of non-functional bugs. - Aida Radu; Sarah Nadi (MSR, 2019)