Incremental state-space exploration for programs with dynamically allocated data.
Steven LauterburgAhmed SobeihDarko MarinovMahesh ViswanathanPublished in: ICSE (2008)
Keyphrases
- data sets
- data analysis
- state space
- database
- data structure
- synthetic data
- complex data
- high quality
- experimental data
- data exploration
- data quality
- data objects
- original data
- sensor data
- data processing
- small number
- image data
- probability distribution
- prior knowledge
- training data
- machine learning
- statistical analysis
- monte carlo
- heuristic search
- data points
- data distribution
- network structure
- data visualization
- neural network