An Algorithm for Automated Generation of Invariants for Loops with Conditionals.
Laura Ildikó KovácsTudor JebeleanPublished in: SYNASC (2005)
Keyphrases
- generation algorithm
- experimental evaluation
- improved algorithm
- optimal solution
- selection algorithm
- np hard
- preprocessing
- detection algorithm
- computational cost
- linear programming
- recognition algorithm
- high accuracy
- particle swarm optimization
- worst case
- times faster
- segmentation algorithm
- data sets
- dynamic programming
- k means
- computational complexity
- theoretical analysis
- cost function
- search space
- similarity measure