A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints.
Joachim WegenerFrank MuellerPublished in: Real Time Syst. (2001)
Keyphrases
- static analysis
- symbolic execution
- test generation
- timing constraints
- dynamic analysis
- java card
- source code
- regular expressions
- embedded devices
- real time databases
- test suite
- active databases
- test data generation
- concurrency control
- model checking
- real time database systems
- transaction processing
- low cost
- execution model
- test cases