\(\mathsf {Harvey}\): a system for random testing in ASP

DOI10.1007/978-3-319-61660-5_21zbMath1491.68044OpenAlexW2725445360MaRDI QIDQ2401939

Hans Tompits, Johannes Oetsch, Alexander Greßler

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_21

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

Testing in ASP: revisited language and programming environment

Uses Software

• Potassco
• Harvey

This page was built for publication: \(\mathsf {Harvey}\): a system for random testing in ASP