T. Philipp, V. Roland, and L. Schweizer, “Smoke Test Planning using Answer Set Programming”., IJIMAI, vol. 6, no. 5, pp. 57–65, Mar. 2021.