A Generic Algorithm for Program Repair.
Besma KhaireddineAleksandr ZakharchenkoAli MiliPublished in: FormaliSE@ICSE (2017)
Keyphrases
- preprocessing
- learning algorithm
- k means
- expectation maximization
- high accuracy
- worst case
- theoretical analysis
- experimental evaluation
- computational complexity
- detection algorithm
- computational cost
- optimization algorithm
- np hard
- dynamic programming
- matching algorithm
- improved algorithm
- single pass
- computationally efficient
- cost function
- least squares
- probabilistic model
- segmentation method
- tree structure
- classification algorithm
- significant improvement
- times faster
- recognition algorithm
- lower bound
- bayesian networks