On testing answer-set programs
From MaRDI portal
Publication:2999229
Recommendations
Cited in
(12)- Methods and methodologies for developing answer-set programs -- project description
- Catnap: generating test suites of constrained combinatorial testing with answer set programming
- Generating event-sequence test cases by answer set programming with the incidence matrix
- Using Answer Set Programming for the Automatic Compilation of Assessment Tests
- On structural analysis of non-ground answer-set programs
- A Tarskian informal semantics for answer set programming
- Two-dimensional approximation coverage
- Testing in ASP: revisited language and programming environment
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Property testers for dense constraint satisfaction programs on finite domains
- Testing and debugging techniques for answer set solver development
- Annotating answer-set programs in LANA
This page was built for publication: On testing answer-set programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2999229)