Symbolic execution and NaNs: diagnostic tools for tracking scientific computation.

Richard J. Fateman

Published in: SIGSAM Bull. (1999)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
particle filter
artificial intelligence
open source
neural network
data model
test set
domain independent