Test-Data Generation for Testing Parallel Real-Time Systems.
Muhammad Waqar AzizSyed Abdul Baqi ShahPublished in: ICTSS (2015)
Keyphrases
- real time systems
- test data generation
- search based testing
- test cases
- symbolic execution
- test case generation
- software testing
- simulated annealing algorithm
- real time
- embedded systems
- distributed systems
- generation algorithm
- test generation
- simulated annealing
- object oriented programming language
- timing constraints
- query language
- software development
- fitness function
- real time embedded
- test data
- test set
- real time database systems
- search algorithm
- architectural model
- test suite