SAT-Based Extraction of Behavioural Models for Java Libraries with Collections.

Larisa Safina Simon Bliudze

Published in: CoRR (2022)

Keyphrases

digital libraries
neural network
object oriented
open source
data sets
database systems
probabilistic model
information extraction
statistical models
answer set programming
constraint solver