A Temporal Logic Based Theory of Test Coverage and Generation.
Hyoung Seok HongInsup LeeOleg SokolskyHasan UralPublished in: TACAS (2002)
Keyphrases
- spatial and temporal
- test suite
- spatio temporal
- temporal information
- knowledge representation
- temporal constraints
- temporal data
- temporal ordering
- data model
- information theory
- temporal patterns
- general theory
- complete coverage
- information retrieval
- item response theory
- temporal characteristics
- temporal evolution
- theoretical framework
- multi agent systems