Unit testing in ASPIDE (2011)

by O Febbraro, N Leone, K Reale, F Ricca
Venue:In Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and the 25th Workshop on Logic Programming (WLP 2011), INFSYS Research Report