The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
Jamieson M. CobleighLori A. ClarkeLeon J. OsterweilPublished in: ICSE (2001)
Keyphrases
- noisy data
- learning algorithm
- data reduction
- computational complexity
- synthetic datasets
- finite state
- data structure
- optimal solution
- convergence rate
- data mining techniques
- np hard
- objective function
- flow analysis
- model free
- search space
- computer systems
- policy iteration
- machine learning
- forensic analysis
- markov decision processes
- expectation maximization
- linear programming
- probabilistic model
- k means
- similarity measure
- information systems