Design of a Modified Concolic Testing Algorithm with Smaller Constraints.
Yavuz KörogluAlper SenPublished in: CSTVA@ISSTA (2016)
Keyphrases
- learning algorithm
- k means
- experimental evaluation
- high accuracy
- detection algorithm
- dynamic programming
- preprocessing
- computationally efficient
- expectation maximization
- multiple constraints
- recognition algorithm
- times faster
- path planning
- matching algorithm
- computational cost
- np hard
- optimal solution
- computational complexity
- classification algorithm
- case study
- improved algorithm
- convergence rate
- constraint satisfaction
- search space
- evolutionary algorithm
- denoising
- tree structure
- clustering method
- cost function
- segmentation algorithm
- theoretical analysis
- linear programming