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

AUTHORS:

Janhunen Tomi , Niemelä Ilkka , Oetsch Johannes , Puhrer Jorg , Tompits Hans

  • BOOKTITLE:
  • VOLUME:
  • 6645
  • SERIES:
  • Lecture Notes in Computer Science
  • PAGES:
  • 242-247