ZATPG: SAT-based test patterns generator with zero-aliasing in temporal compaction.
Robert HüllePetr FiserJan SchmidtPublished in: Microprocess. Microsystems (2018)
Keyphrases
- temporal patterns
- temporal evolution
- temporal information
- temporal events
- spatial and temporal
- high resolution
- pattern discovery
- temporal reasoning
- spatio temporal
- temporal data
- temporal trends
- temporal characteristics
- spatial features
- temporal sequences
- spatial resolution
- pattern mining
- high frequency
- temporal databases
- temporal relations
- version space
- multivariate time series
- sequential patterns
- temporal relationships
- temporal structure
- space time
- linear temporal logic
- bounded model checking
- data generator
- data mining techniques