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

Reference:

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. Random vs. structure-based testing of answer-set programs: An experimental comparison. In James Delgrande and Wolfgang Faber, editors, Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 6645 of Lecture Notes in Computer Science, pages 242–247, Vancouver, British Columbia, Canada, May 2011. Springer.

Suggested BibTeX entry:

@inproceedings{JNOPT11:lpnmr,
    address = {Vancouver, British Columbia, Canada},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Johannes Oetsch and J\"org P\"uhrer and Hans Tompits},
    booktitle = {Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {James Delgrande and Wolfgang Faber},
    month = {May},
    pages = {242--247},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison},
    volume = {6645},
    year = {2011},
}