Scaling Data Plane Verification with Intent-based Slicing.
Kuan-Yen ChouSanthosh PrabhuGiri SubramanianWenxuan ZhouAanand NayyarBrighten GodfreyMatthew CaesarPublished in: CoRR (2024)
Keyphrases
- data sets
- data analysis
- database
- training data
- application domains
- input data
- data distribution
- raw data
- xml documents
- data structure
- high quality
- data mining techniques
- data collection
- computer systems
- statistical methods
- data objects
- noisy data
- sensor data
- knowledge discovery
- data sources
- data model
- information retrieval
- databases