A tool for verification of big-data applications.
Marcello M. BersaniFrancesco MarconiMatteo RossiMadalina ErascuPublished in: QUDOS@ISSTA (2016)
Keyphrases
- big data
- cloud computing
- social media
- data analysis
- data visualization
- data processing
- high volume
- big data analytics
- business intelligence
- data intensive
- analytic tools
- data science
- data management
- knowledge discovery
- unstructured data
- data stores
- digital data
- vast amounts of data
- massive data
- health informatics
- data sets
- data intensive computing
- information processing
- social networks
- data analytics
- predictive modeling
- data mining