Analytic Methods in Systems and Software Testing. (2018)