An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. Issue 4 (5th December 2021)