141
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...