Horntinuum: Autonomous Testing using Constrained Horn Clauses.

Ilia Zlatkin Grigory Fedyukovich

Published in: ASE (2022)

Keyphrases

horn clauses
first order logic
conceptual clustering
inference rules
inductive logic programming
logic programs
lattice theory
database queries
test cases
database
databases