Specifying and Checking Method Call Sequences in JML.
Yoonsik CheonAshaveena PerumandlaPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- significant improvement
- high precision
- objective function
- cost function
- detection method
- main contribution
- fully automatic
- training data
- bayesian networks
- preprocessing
- pairwise
- dynamic programming
- segmentation algorithm
- probabilistic model
- segmentation method
- optimization algorithm
- theoretical analysis
- computationally efficient
- model selection
- input data
- data sets
- k means
- decision trees