01215nas a2200217   4500000000100000000000100001008004100002260001200043653001300055653002700068653001200095100001900107700002000126700002000146245005300166856008000219300001000299490000600309520066800315022001400983       2021                            d  c03/202110aPlanning10aAnswer Set Programming10aTesting1 aTobias Philipp1 aValentin Roland1 aLukas Schweizer00aSmoke Test Planning using Answer Set Programming  uhttps://www.ijimai.org/journal/sites/default/files/2021-02/ijimai_6_5_6.pdf  a57-650 v63 aSmoke testing is an important method to increase stability and reliability of hardware- gramming, Testing depending systems. Due to concurrent access to the same physical resource and the impracticality of the use of virtualization, smoke testing requires some form of planning. In this paper, we propose to decompose test cases in terms of atomic actions consisting of preconditions and effects. We present a solution based on answer set programming with multi-shot solving that automatically generates short parallel test plans. Experiments suggest that the approach is feasible for non-inherently sequential test cases and scales up to thousands of test cases.  a1989-1660