Testing and Debugging Techniques for Answer Set Solver Development

This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find exist...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org
Hauptverfasser: Brummayer, Robert, Järvisalo, Matti
Format: Paper
Sprache:Englisch
Veröffentlicht: Ithaca Cornell University Library, arXiv.org 19.07.2010
Schlagworte:
Algorithms
Debugging
Solvers
ISSN:2331-8422
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.
AbstractList This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is able to reveal various defects such as unsound and incomplete behavior, i.e. invalid answer sets and inability to find existing solutions, in state-of-the-art answer set solver implementations. Moreover, we develop delta debugging techniques for shrinking failure-inducing inputs on which solvers exhibit defective behavior. In particular, we develop a delta debugging algorithm in the context of answer set solving, and evaluate two different elimination strategies for the algorithm.
Author Järvisalo, Matti
Brummayer, Robert
Author_xml – sequence: 1
  givenname: Robert
  surname: Brummayer
  fullname: Brummayer, Robert
– sequence: 2
  givenname: Matti
  surname: Järvisalo
  fullname: Järvisalo, Matti
BookMark eNotjjtPwzAUhS0EEqV0Z4zEnGJfPzuWlpdUiaHZK9_mOqQKTomTwM-nFUznfMv5zg27jG0kxu4EnyunNX_w3U89zgXndi4B5AWbgJQidwrgms1SOnDOwVjQWk7YY0Gpr2OV-Vhma8Khqs5U0P4j1l8DpSy0XbaM6Zu6bEt9tm2b8VTXNFLTHj8p9rfsKvgm0ew_p6x4fipWr_nm_eVttdzkXgvIqXQmaFyAQyfRorRqYY0OBjl5xOAVGulKB0hKOSjD3gJyQeAlIjkup-z-b_bYtedj_e7QDl08GXfAnRVCGw7yF7X0TWo
ContentType Paper
Copyright 2010. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2010. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.1007.3223
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a512-ed86f5b928b83b7b3749765f6b0eabbfa4b638d82be4482dfc72b01e2a3bbe803
IEDL.DBID BENPR
IngestDate Mon Jun 30 09:39:09 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a512-ed86f5b928b83b7b3749765f6b0eabbfa4b638d82be4482dfc72b01e2a3bbe803
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2087115602?pq-origsite=%requestingapplication%
PQID 2087115602
PQPubID 2050157
ParticipantIDs proquest_journals_2087115602
PublicationCentury 2000
PublicationDate 20100719
PublicationDateYYYYMMDD 2010-07-19
PublicationDate_xml – month: 07
  year: 2010
  text: 20100719
  day: 19
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2010
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.4416902
SecondaryResourceType preprint
Snippet This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Algorithms
Debugging
Solvers
Title Testing and Debugging Techniques for Answer Set Solver Development
URI https://www.proquest.com/docview/2087115602
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NS8MwFA-6KXjyGz_myMFrNE3TJj2Jkw0FHcUVmaeR16Rjl2622_TPN-k6FQQvHkMu4eXl975-eQ-hS09rHlIdkAwCIJxxTZSvFREqzKJQahNU_7hfHkW_L4fDKK4TbmVNq1xjYgXUepq6HLkN0q1r7779spvZG3FTo1x1tR6hsYmarlMZb6Bmp9uPn7-yLCwU1mf2V_XJqnnXtSo-JsuKHHBlldn_hcGVYent_vdIe6gZq5kp9tGGyQ_QdkXoTMtD1Elc-4x8jFWusQWVhcssj3GybtlaYuut4tu8fDcFHpg5HkwdRxr_IBEdoaTXTe7uST0vgShrtonRMswCiJgE6YMAX3DrawRZCNQogExxsI9NSwbGxmRMZ6lgQD3DlA9gJPWPUSOf5ubE8Z08iECFxvNSTjMmUyqUkRwETakW7BS11hIZ1Tpfjr7Fcfb39jnaWdXgBfGiFmrMi4W5QFvpcj4pi3Z9hW3HwhzYVfzwFL9-Ar2Fqjg
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwELZKC4KJt3gU8ACjIXGc2BkQ4qlWlKoSESpT5YudiiWFpA_4UfxH7LQBJCQ2BmZLlu17n7-7Q-jQVYoFjvJJAj4QRpki0lOScBkkYSCU9os67ocWb7dFtxt2Kui9rIWxsMpSJxaKWg1imyM3Qbpx7W3ZLz17fiF2apT9XS1HaEzZ4la_TUzIlp82rwx9jyi9uY4uG2Q2VYBIY9yIViJIfAipAOEBB48zY5H9JABHS4BEMjAsqQQFbSIXqpKYU3BcTaUHoIXjmW3nUI0ZXhdVVOs07zqPn0kdGnDjonvT79CiV9iJzF6fxgUW4djIjvdD5Rd27Gb5n73Airm5fNbZKqrodA0tFHDVOF9HF5FtDpL2sUwVNipzZPPmfRyVDWlzbHxxfJ7mE53hez3E9wOLAMffIFIbKPqLU2-iajpI9ZZFc7kQggy068bMSaiIHS61YMCd2FGcbqN6SYDeTKLz3tfr7_y-fIAWG9Fdq9dqtm930dIUbcCJG9ZRdZiN9B6aj8fDpzzbn3EPRr0_ptYHPqcFSg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Testing+and+Debugging+Techniques+for+Answer+Set+Solver+Development&rft.jtitle=arXiv.org&rft.au=Brummayer%2C+Robert&rft.au=J%C3%A4rvisalo%2C+Matti&rft.date=2010-07-19&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1007.3223