Although answer set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Mutating Clingo’s AST with clingabomino

  • Liliana Marie Prikler,
  • Franz Wotawa

摘要

Although answer set programming has been a tried way of problem-solving for over thirty years, few tools and methodologies exist today to test it rigorously. Previous research suggests that mutation testing is able to uncover flaws even with small inputs. In this paper, we introduce clingabomino, a mutant generator implemented in C++ that directly operates on the abstract syntax tree of the Clingo solver. Our tool consists of a command-line application that implements commonly useful mutation operators as well as a library to aid in the development of domain-specific mutation operators.