Testing and Debugging Techniques for Answer Set Solver Development

Details Testing and Debugging Techniques for Answer Set Solver Development Testing and Debugging Techniques for Answer Set Solver Development

2010-07-19

arxiv.org/abs/1007.3223v1

Theory and Practice of Logic Programming, 10(4-6):741-758, 2010

Computer Science

Artificial Intelligence

18 pages

Scientific paper

10.1017/S1471068410000396

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 failure-inducing 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.

Affiliated with

Also associated with

No associations

Rating

Testing and Debugging Techniques for Answer Set Solver Development does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Testing and Debugging Techniques for Answer Set Solver Development, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Testing and Debugging Techniques for Answer Set Solver Development will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-62895