Parasol: efficient parallel synthesis of large model spaces.

Clay Stevens Hamid Bagheri

Published in: ESEC/SIGSOFT FSE (2022)

Keyphrases

probabilistic model
mathematical model
formal model
prediction model
similarity measure
data sets
computational model
theoretical analysis
network model
parallel processing
bayesian framework
statistical model
model selection
prior knowledge
expert systems
information systems
information retrieval
machine learning