Generating Data Race Witnesses by an SMT-Based Analysis.
Mahmoud SaidChao WangZijiang YangKarem A. SakallahPublished in: NASA Formal Methods (2011)
Keyphrases
- data analysis
- statistical analysis
- database
- high quality
- data sets
- historical data
- data collection
- prior knowledge
- original data
- synthetic data
- training data
- computer systems
- missing data
- complex data
- raw data
- data processing
- data mining techniques
- image data
- database systems
- data structure
- data acquisition
- data objects
- data points
- website
- log data
- correlation analysis
- quantitative data