A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.
Danhua ShaoDivya GopinathSarfraz KhurshidDewayne E. PerryPublished in: ASM (2010)
Keyphrases
- data sets
- data collection
- flow analysis
- image data
- data sources
- high quality
- small number
- database
- raw data
- data analysis
- prior knowledge
- data structure
- synthetic data
- forensic analysis
- historical data
- complex data
- data quality
- data distribution
- statistical methods
- spatial data
- computer systems
- information systems
- training data