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á bibliografia

Vydané v:	arXiv.org
Hlavní autori:	Brummayer, Robert, Järvisalo, Matti
Médium:	Paper
Jazyk:	English
Vydavateľské údaje:	Ithaca Cornell University Library, arXiv.org 19.07.2010
Predmet:	Algorithms Debugging Solvers
ISSN:	2331-8422
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!