Proactive and pervasive combinatorial testingDale BlueOrna Razet al.2018ICSE-SEIP 2018Conference paper