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

no code implementations • 4 Jan 2024 • Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca

Indeed, the first unit testing specification language for ASP was proposed in 2011 as a feature of the ASPIDE development environment.