A semantics-based method for revalidating modified programs.
In Sang ChungYong Rae KwonPublished in: J. Softw. Maintenance Res. Pract. (1994)
Keyphrases
- high accuracy
- significant improvement
- pairwise
- synthetic data
- main contribution
- theoretical analysis
- machine learning
- error rate
- experimental evaluation
- objective function
- high precision
- segmentation method
- mathematical model
- statistical model
- detection method
- fully automatic
- model selection
- clustering method
- computationally efficient
- support vector machine
- computational cost
- artificial neural networks
- high dimensional
- computational complexity
- image sequences
- information retrieval