On Testing Answer-Set Programs

Reference:

Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. On testing answer-set programs. In Helder Coelho, Rudi Studer, and Michael Wooldridge, editors, Proceedings of the 19th European Conference on Artificial Intelligence, pages 951–956, Lisbon, Portugal, August 2010. IOS Press.

Suggested BibTeX entry:

@inproceedings{JNOPT10:ecai,
    address = {Lisbon, Portugal},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Johannes Oetsch and J{\"o}rg P{\"u}hrer and Hans Tompits},
    booktitle = {Proceedings of the 19th European Conference on Artificial Intelligence},
    editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
    month = {August},
    pages = {951--956},
    publisher = {IOS Press},
    title = {On Testing Answer-Set Programs},
    year = {2010},
}