Login / Signup
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion.
Tuan-Hung Pham
Anh-Hoang Truong
Wei-Ngan Chin
Takenobu Aoshima
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
floating point
fixed point
test case generation
test cases
software testing
test data generation
object oriented systems
test suite
instruction set
dynamical systems
java programs
sufficient conditions
belief propagation
test set
post processing
optimal solution
floating point arithmetic