Testing and Debugging Techniques for Answer Set Solver Development

Download Now Free registration required

Executive Summary

This paper develops automated testing and debugging techniques for answer set solver development. The paper describes 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, the paper develops delta debugging techniques for shrinking failure inducing inputs on which solvers exhibit defective behavior. In particular, the paper develops a delta debugging algorithm in the context of answer set solving, and evaluates two different elimination strategies for the algorithm.

  • Format: PDF
  • Size: 207.9 KB