Testing ASP programs in ASPIDE

Onofrio Febbraro, Kristian Reale, Francesco Ricca. Testing ASP programs in ASPIDE. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31 - September 2, 2011. Volume 810 of CEUR Workshop Proceedings, pages 115-129, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.