Login / Signup
Generation of Library Models for Verification of Android Applications.
Heila van der Merwe
Oksana Tkachuk
Brink van der Merwe
Willem Visser
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
statistical models
complex systems
probabilistic model
formal verification
data sets
parametric models
mathematical models
bayesian framework
statistical model
model selection
relational databases
expert systems
search algorithm
clustering algorithm
artificial intelligence
data mining
neural network