Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor.
Wolfgang D. EhrenbergerG. RauchK. OkroyPublished in: ICSE (1976)
Keyphrases
- synthetic data
- objective function
- computational cost
- feature selection
- high accuracy
- significant improvement
- cost function
- control strategy
- detection method
- experimental evaluation
- dynamic programming
- pairwise
- classification accuracy
- edge detection
- source code
- computer systems
- optimization algorithm
- clustering method
- preprocessing
- decision trees
- model checking
- high precision
- data sets