A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.

Bruno Cuervo Parrino Juan P. Galeotti Diego Garbervetsky Marcelo F. Frias

Published in: SEFM (2011)

Keyphrases

statistical analysis
databases
data analysis
image analysis
database
data mining
information retrieval
genetic algorithm
information systems
website
case study
expert systems
quantitative analysis