Login / Signup
Programming Behavioral Test Models for SMT Solving in Scala.
Bernhard K. Aichernig
Benedikt Maderbacher
Stefan Tiran
Published in:
ICST Workshops (2019)
Keyphrases
</>
probabilistic model
programming language
learning algorithm
social networks
training data
artificial neural networks
model selection
machine learning algorithms
complex systems
process model