Arithmetic program paths.

Manos Renieris Shashank Ramaprasad Steven P. Reiss

Published in: ESEC/SIGSOFT FSE (2005)

Keyphrases

computer programs
databases
metadata
image processing
programming environment
arithmetic operations
real world
web pages
website
multi agent
multiresolution
open source
test cases
floating point
static analysis