Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.
Geng-Dian HuangFarn WangPublished in: ATVA (2005)
Keyphrases
- real time systems
- test case generation
- real time
- test suite
- distributed systems
- embedded systems
- test cases
- timing constraints
- object oriented programming language
- architectural model
- real time database systems
- source code
- high level
- building blocks
- evolutionary algorithm
- artificial neural networks
- relational databases
- anytime algorithms
- search algorithm
- test data generation
- cooperative
- training data