All bugs identified in the case study are explained in detail so that they can be validated by other researchers. The bug list is publicly available here.