Incremental False Path Elimination for Static Software Analysis.

Ansgar Fehnker Ralf Huuck Sean Seefried

Published in: ATVA (2009)

Keyphrases

analysis tool
dynamic analysis
database
software development
statistical analysis
software systems
static analysis
databases
information systems
data structure
computer systems
data acquisition
software tools