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 Proceedings of the 19th European Conference on Artificial Intelligence, ECAI 2010, volume 215 of Frontiers in Artificial Intelligence and Applications, pages 951–956. IOS Press, 2010.

Suggested BibTeX entry:

@inproceedings{JMOPT:ECAI2010,
    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, {ECAI~2010}},
    pages = {951--956},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    title = {On Testing Answer-Set Programs},
    volume = {215},
    year = {2010},
}