Philipp T, Roland V, Schweizer L. Smoke Test Planning using Answer Set Programming. IJIMAI [Internet]. 2021 Mar. 1 [cited 2025 Nov. 18];6(5):57-65. Available from: https://www.ijimai.org/index.php/ijimai/article/view/703