Using Data Groups to Specify and Check Side Effects.
K. Rustan M. LeinoArnd Poetzsch-HeffterYunhong ZhouPublished in: PLDI (2002)
Keyphrases
- data sets
- data collection
- image data
- information retrieval
- data quality
- raw data
- synthetic data
- data sources
- original data
- training set
- data analysis
- data mining techniques
- data processing
- domain experts
- multimedia data
- test data
- application domains
- historical data
- statistical analysis
- input data
- end users
- prior knowledge
- data structure
- multimedia
- social networks
- genetic algorithm