Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison (2011)
Janhunen Tomi , Niemelä Ilkka , Oetsch Johannes , Puhrer Jorg , Tompits Hans