A Refactoring for Data Minimisation Using Formal Verification.
Florian LanzingerMattias UlbrichAlexander WeiglPublished in: ISoLA (2) (2022)
Keyphrases
- data sets
- synthetic data
- training data
- formal verification
- database
- data quality
- data processing
- data structure
- domain independent
- experimental data
- high dimensional data
- data sources
- data collection
- computer systems
- statistical analysis
- data points
- artificial intelligence
- end users
- data distribution
- model checking
- raw data
- prior knowledge
- high quality