Neural termination analysis.

Mirco Giacobbe Daniel Kroening Julian Parsert

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

termination analysis
active rules
active databases
abstract interpretation
neural network
integrity constraints
database
data sources
object oriented databases