Testing and Debugging Techniques for Answer Set Solver Development - Computer Science > Artificial IntelligenceReportar como inadecuado




Testing and Debugging Techniques for Answer Set Solver Development - Computer Science > Artificial Intelligence - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Robert Brummayer, Matti Järvisalo

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados