Verifying Data Constraint Equivalence in FinTech Systems.
Chengpeng WangGang FanPeisen YaoFuxiong PanCharles ZhangPublished in: ICSE (2023)
Keyphrases
- data sets
- spatial data
- raw data
- data analysis
- synthetic data
- prior knowledge
- complex data
- computer systems
- image data
- data processing
- data collection
- distributed systems
- probability distribution
- dimensionality reduction
- database
- data sources
- expert systems
- missing data
- complex systems
- data structure
- data distribution
- learning algorithm
- noisy data
- databases
- historical data
- storage systems