A semiautomated method for classifying program analysis rules into a quality model.
Shrinath GuptaHimanshu Kumar SinghPublished in: ICPC (2014)
Keyphrases
- cost function
- theoretical analysis
- linear model
- prior knowledge
- statistical model
- mathematical model
- evaluation method
- sensitivity analysis
- test data
- analytical model
- study proposes
- markov model
- input data
- parameter space
- prediction model
- gaussian distribution
- regression analysis
- probabilistic model
- hybrid method
- similarity measure
- evaluation model
- optimization model
- objective function
- network model
- reconstruction method
- modeling method
- bayesian framework
- genetic algorithm
- pairwise
- closed form
- em algorithm
- detection method
- classification method
- computational model
- statistical methods
- tree structure
- high accuracy
- energy function
- hybrid model
- dynamic programming
- classification algorithm
- recognition algorithm
- linear regression
- optimization method
- monte carlo simulation
- preprocessing
- decision rules
- high quality
- probability distribution
- significant improvement
- semi automated
- maximum likelihood