2024
DOI: 10.1017/s1471068424000103
|View full text |Cite
|
Sign up to set email alerts
|

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment

GIOVANNI AMENDOLA,
GIUSEPPE MAZZOTTA,
FRANCESCO RICCA
et al.

Abstract: Unit testing frameworks are nowadays considered a best practice, included in almost all modern software development processes, to achieve rapid development of correct specifications. Knowledge representation and reasoning paradigms such as Answer Set Programming (ASP), that have been used in industry-level applications, are not an exception. Indeed, the first unit testing specification language for ASP was proposed in 2011 as a feature of the ASPIDE development environment. Later, a more portable unit testing … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 45 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?