Counterexample-guided correlation algorithm for translation validation.
Shubhani GuptaAbhishek RoseSorav BansalPublished in: Proc. ACM Program. Lang. (2020)
Keyphrases
- detection algorithm
- learning algorithm
- dynamic programming
- optimization algorithm
- high accuracy
- preprocessing
- computational cost
- np hard
- similarity measure
- optimal solution
- worst case
- experimental evaluation
- times faster
- cost function
- tree structure
- significant improvement
- k means
- evolutionary algorithm
- memory requirements
- convergence rate
- selection algorithm
- model checking
- classification algorithm
- data sets
- improved algorithm
- segmentation algorithm
- particle swarm optimization
- multi objective
- search space
- computational complexity
- objective function
- neural network