7 citations · 7 across the 1 of their papers we have counts for
1 paper
Robert Brummayer, Matti Järvisalo
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 able…