TY - GEN
T1 - Testing and Debugging Techniques for Answer Set Solver Development
AU - Brummayer, Robert
AU - Järvisalo, Matti
PY - 2010/2
Y1 - 2010/2
N2 - This paper develops automated testing and debugging techniques for answer set solver
development. We describe a flexible grammar-based black-box ASP fuzz testing tool which
is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid
answer sets and inability to find existing solutions, in state-of-the-art answer set solver
implementations. Moreover, we develop delta debugging techniques for shrinking failureinducing
inputs on which solvers exhibit defective behavior. In particular, we develop a
delta debugging algorithm in the context of answer set solving, and evaluate two different
elimination strategies for the algorithm.
KEYWORDS: answer set programming, answer set solvers, testing, debugging
AB - This paper develops automated testing and debugging techniques for answer set solver
development. We describe a flexible grammar-based black-box ASP fuzz testing tool which
is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid
answer sets and inability to find existing solutions, in state-of-the-art answer set solver
implementations. Moreover, we develop delta debugging techniques for shrinking failureinducing
inputs on which solvers exhibit defective behavior. In particular, we develop a
delta debugging algorithm in the context of answer set solving, and evaluate two different
elimination strategies for the algorithm.
KEYWORDS: answer set programming, answer set solvers, testing, debugging
M3 - Conference proceedings
VL - 10
T3 - Theory and Practice of Logic Programming
SP - 741
EP - 758
BT - Proc. Intl. Conf. on Logic Programming (ICLP'10)
ER -