Login / Signup
Efficient validation of self-adaptive applications by counterexample probability maximization.
Wenhua Yang
Chang Xu
Minxue Pan
Chun Cao
Xiaoxing Ma
Jian Lu
Published in:
J. Syst. Softw. (2018)
Keyphrases
</>
bayesian networks
artificial neural networks
database
neural network
artificial intelligence
three dimensional
high level
objective function
computational complexity
preprocessing
special case
programming language
lightweight
model checking
high efficiency
formal verification