Philipp, T.; Roland, V.; Schweizer, L. Smoke Test Planning Using Answer Set Programming. IJIMAI 2021, 6, 57-65.