Inspired by the main work in biomolecular logic programming, we present a new encoding scheme for facts, rules, and queries to implement backward/forward chaining inference paths via catalytic DNA ...

Automatic black-box method-level test case generation based on constraint logic programming Software testing is the main activity to ensure the quality of software. This article proposes a testing ...