Login / Signup
Finding Round-Off Error Using Symbolic Execution.
Anh-Hoang Truong
Huy-Vu Tran
Bao-Ngoc Nguyen
Published in:
KSE (1) (2013)
Keyphrases
</>
symbolic execution
static analysis
test data generation
error rate
test generation
data flow
specification language
relational databases
learning algorithm
metadata
test cases