Prioritising abstract test cases: an empirical study. Issue 4 (1st August 2019)