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

Celý popis

Podrobná bibliografie

Vydáno v:	Theory and practice of logic programming Ročník 10; číslo 4-6; s. 741 - 758
Hlavní autoři:	BRUMMAYER, ROBERT, JÄRVISALO, MATTI
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cambridge, UK Cambridge University Press 01.07.2010
Témata:	Regular Papers debugging answer set solvers answer set programming testing
ISSN:	1471-0684, 1475-3081
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!