Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.
Danhua ShaoDivya GopinathSarfraz KhurshidDewayne E. PerryPublished in: ISSRE (2010)
Keyphrases
- data sets
- training data
- flow analysis
- raw data
- data collection
- data sources
- complex data
- knowledge discovery
- synthetic data
- statistical analysis
- database
- experimental data
- data points
- computer systems
- small number
- image data
- high quality
- input data
- data processing
- bayesian networks
- xml documents
- data distribution
- network structure
- data objects
- historical data
- information flow
- prior knowledge