An Algorithm for Strengthening State Invariants Generated from Requirements Specifications.
Ralph D. JeffordsConstance L. HeitmeyerPublished in: RE (2001)
Keyphrases
- high accuracy
- search space
- computational cost
- cost function
- probabilistic model
- times faster
- dynamic programming
- computational complexity
- detection algorithm
- state space
- preprocessing
- optimal solution
- objective function
- theoretical analysis
- expectation maximization
- matching algorithm
- improved algorithm
- feature selection
- image registration
- experimental evaluation
- np hard
- significant improvement
- k means
- decision trees
- data sets
- simulated annealing
- linear programming
- similarity measure
- recognition algorithm
- selection algorithm
- finite state machines