Please refer to either the conference version from SPLC'19 or the extended Journal version from EMSE.
Conference Version (SPLC'19)
Journal Version (EMSE) - Accepted Manuscript