A Formal Passive Testing Approach for Checking Real Time Constraints.
Fayçal BessayahAna R. CavalliPublished in: QUATIC (2010)
Keyphrases
- real time
- consistency checking
- constrained optimization
- low cost
- test cases
- constraint checking
- high speed
- global constraints
- real time systems
- lower bound
- vision system
- computer vision
- constraint satisfaction
- integrity constraints
- formal model
- information retrieval
- formal methods
- machine learning
- timing constraints
- database