Bounded Model Checking and Feature Omission Diversity. - Alipour, Mohammad Amin; Groce, Alex (CoRR, 2016)