An algorithm and tool to infer practical postconditions.
John L. SingletonGary T. LeavensHridesh RajanDavid R. CokPublished in: ICSE (Companion Volume) (2018)
Keyphrases
- dynamic programming
- computational complexity
- learning algorithm
- times faster
- worst case
- cost function
- preprocessing
- detection algorithm
- selection algorithm
- objective function
- k means
- high accuracy
- space complexity
- computationally efficient
- experimental evaluation
- computational cost
- np hard
- expectation maximization
- theoretical analysis
- classification algorithm
- recognition algorithm
- significant improvement
- search space
- improved algorithm
- single pass
- data sets
- experimental study
- optimization algorithm
- particle swarm optimization
- optimal solution
- similarity measure
- image sequences
- neural network