A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program.
Haining FengPublished in: ASE (2020)
Keyphrases
- data sets
- data analysis
- original data
- experimental data
- data structure
- data sources
- data quality
- noisy data
- small number
- input data
- raw data
- high dimensional data
- synthetic data
- sensor data
- high quality
- historical data
- information security
- data distribution
- missing data
- computer systems
- data collection
- data mining techniques
- image data
- knowledge discovery
- prior knowledge