Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits. Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. In James P. Delgrande, Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Volume 6645 of Lecture Notes in Computer Science, pages 242-247, Springer, 2011. [doi]

Abstract

Abstract is missing.