Testing and debugging techniques for answer set solver development

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 exist...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 10; no. 4-6; pp. 741 - 758
Main Authors:	BRUMMAYER, ROBERT, JÄRVISALO, MATTI
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2010
Subjects:	Regular Papers debugging answer set solvers answer set programming testing
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!