Semantic Mutation Analysis of Floating-Point Comparison.

Haitao Dan Robert M. Hierons

Published in: ICST (2012)

Keyphrases

floating point
natural language
evolutionary algorithm
general purpose
image processing
higher order
graphical models
fixed point
sparse matrices