Testing in ASP: revisited language and programming environment
type: Item
instance of: scholarly article
title: Testing in ASP: revisited language and programming environment
DOI: 10.1007/978-3-030-75775-5_24
author: Giovanni Amendola
author: Tobias Berei
author: F. Ricca
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 7437052
zbMATH Keywords: answer set programming
zbMATH Keywords: unit testing
zbMATH Keywords: test-driven development
describes a project that uses: DLV2
describes a project that uses: ASPIDE
describes a project that uses: Harvey
describes a project that uses: ezcsp
MaRDI profile type: Publication
full work available at URL: 978-3-030-75775-5 24
OpenAlex ID: W3162978696
cites work: The ASP system DLV2
cites work: Towards Answer Set Programming with Sorts
cites work: Constraint answer set solver EZCSP and why integration schemas matter
cites work: Clingcon: The next generation
cites work: First-order stable model semantics with intensional functions
cites work: ASP-Core-2 Input Language Format
cites work: Design and results of the Fifth Answer Set Programming Competition
cites work: Debugging Non-ground ASP Programs: Technique and Graphical Tools
cites work: Verifying Tight Logic Programs with anthem and vampire
cites work: DynASP2.5: Dynamic Programming on Tree Decompositions in Action
cites work: Multi-shot ASP solving with clingo
cites work: The Sixth Answer Set Programming Competition
cites work: Q3983043
cites work: Short XORs for Model Counting: From Theory to Practice
cites work: \(\mathsf {Harvey}\): a system for random testing in ASP
cites work: On Testing Answer-Set Programs
cites work: Modularity Aspects of Disjunctive Stable Models
cites work: Integrating answer set programming and constraint logic programming
cites work: Annotating answer-set programs in <scp>Lana</scp>
description: scientific article; zbMATH DE number 7437052