The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking.
Stefan J. GallerThomas QuaritschMartin WeiglhoferFranz WotawaPublished in: QSIC (2011)
Keyphrases
- data types
- data generation
- bounded model checking
- data model
- database management systems
- data structure
- database systems
- model checking
- data streams
- abstract data types
- formal verification
- active learning
- linear temporal logic
- database
- high throughput
- streaming data
- data management
- high dimensional
- multi agent systems
- similarity measure
- image processing
- data sets