A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints.
Frank MuellerJoachim WegenerPublished in: IEEE Real Time Technology and Applications Symposium (1998)
Keyphrases
- static analysis
- symbolic execution
- test generation
- dynamic analysis
- timing constraints
- java card
- source code
- test suite
- real time databases
- real time systems
- embedded devices
- regular expressions
- test data generation
- test cases
- database
- execution model
- real time
- software testing
- transaction processing
- conceptual model
- low cost
- training set