Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
On the small-scope hypothesis for testing answer-set programs
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.ORCID iD: 0000-0002-9902-7662
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Institut für Informationssysteme 184/3, Technische Universität Wien, Vienna, Austria.
Show others and affiliations
2012 (English)In: Proceedings of the International Conference on Knowledge Representation and Reasoning, IEEE, 2012, p. 43-53Conference paper, Published paper (Refereed)
Abstract [en]

In software testing, the small-scope hypothesis states that a high proportion of errors can be found by testing a program for all test inputs within some small scope. In this paper, we evaluate the small-scope hypothesis for answer-set programming (ASP). To this end, we follow work in traditional testing and base our evaluation on mutation analysis. In fact, we show that a rather limited scope is sufficient for testing ASP encodings from a representative set of benchmark problems. Our experimental evaluation facilitates effective methods for testing in ASP. Also, it gives some justification to analyse programs at the propositional level after grounding them over a small domain.

Place, publisher, year, edition, pages
IEEE, 2012. p. 43-53
Keywords [en]
Knowledge representation, Logic programming, Answer set, Answer set programming, Bench-mark problems, Encodings, Experimental evaluation, Mutation analysis, Test inputs, Software testing
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:hj:diva-63574Scopus ID: 2-s2.0-84893364408ISBN: 9781577355601 (print)OAI: oai:DiVA.org:hj-63574DiVA, id: diva2:1838390
Conference
13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012, 10-14 June 2012, Rome, Italy
Available from: 2024-02-16 Created: 2024-02-16 Last updated: 2024-02-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records

Oetsch, Johannes

Search in DiVA

By author/editor
Oetsch, Johannes
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf