MUX: algorithm selection for software model checkers.
Varun TulsianAditya KanadeRahul KumarAkash LalAditya V. NoriPublished in: MSR (2014)
Keyphrases
- probabilistic model
- mathematical model
- recognition algorithm
- algorithm employs
- selection algorithm
- closed form
- learning algorithm
- computational model
- cost function
- theoretical analysis
- algorithm has been developed
- objective function
- dynamic programming
- computational complexity
- optimization method
- optimization model
- prior information
- model free
- estimation algorithm
- matching algorithm
- tree structure
- preprocessing
- similarity measure
- experimental evaluation
- significant improvement
- hyper graph
- final result
- optimal solution
- bayesian framework
- selection criterion
- multiple models
- kalman filter
- high level
- optimization algorithm
- em algorithm
- source code
- high accuracy
- search space
- np hard
- lower bound
- detection algorithm
- parameter estimation
- segmentation algorithm
- neural network
- expectation maximization
- particle swarm optimization
- input data
- probability distribution
- user interface