Automatic generation of tests for timing constraints from requirements.
Duncan ClarkeInsup LeePublished in: WORDS (1997)
Keyphrases
- timing constraints
- real time systems
- real time databases
- embedded devices
- active databases
- real time database systems
- execution model
- concurrency control
- real time
- resource constraints
- embedded systems
- security requirements
- database
- database systems
- information systems
- business intelligence
- active rules
- concurrency control protocols