Symbolic Debugging with Gillian.

Nat Karmios Sacha-Élie Ayoun Philippa Gardner

Published in: DEBT@SIGMOD (2023)

Keyphrases

high level
symbolic representation
databases
fault localization
data sets
machine learning
neural learning
database
neural network
knowledge base
low level
open source
symbolic data
connectionist models
execution traces