Automatic Loop Invariant Generation for Data Dependence Analysis.
Asmae Heydari TabarRichard BubelReiner HähnlePublished in: FormaliSE@ICSE (2022)
Keyphrases
- data analysis
- statistical analysis
- raw data
- data collection
- data sets
- data structure
- high quality
- data sources
- data acquisition
- complex data
- historical data
- fully automatic
- synthetic data
- correlation analysis
- missing data
- high dimensional data
- empirical data
- data processing
- data mining techniques
- data points
- input data
- labeled data
- image data
- knowledge discovery
- sensor data
- semi automatic
- probability distribution
- high dimensional
- data quality
- training data
- metadata
- neural network
- database