Dedicated Search Strategies For Finding Critical Counterexamples In Programs With Floating Point Computations.
Claude MichelMichel RueherPublished in: AITest (2019)
Keyphrases
- search strategies
- floating point
- search strategy
- fixed point
- search algorithm
- sparse matrices
- heuristic search
- retrieval effectiveness
- search methods
- evolutionary algorithm
- instruction set
- constraint programming
- floating point arithmetic
- branch and bound
- genetic algorithm
- constraint satisfaction
- general purpose
- probabilistic model
- multi objective