Testing and Debugging Techniques for Answer Set Solver Development - Computer Science > Artificial IntelligenceReport as inadecuate




Testing and Debugging Techniques for Answer Set Solver Development - Computer Science > Artificial Intelligence - Download this document for free, or read online. Document in PDF available to download.

Abstract: This paper develops automated testing and debugging techniques for answer setsolver development. We describe a flexible grammar-based black-box ASP fuzztesting tool which is able to reveal various defects such as unsound andincomplete behavior, i.e. invalid answer sets and inability to find existingsolutions, in state-of-the-art answer set solver implementations. Moreover, wedevelop delta debugging techniques for shrinking failure-inducing inputs onwhich solvers exhibit defective behavior. In particular, we develop a deltadebugging algorithm in the context of answer set solving, and evaluate twodifferent elimination strategies for the algorithm.



Author: Robert Brummayer, Matti Järvisalo

Source: https://arxiv.org/







Related documents