Model based test case generation with metaheuristics for networks of timed automata.
Joachim HänselPublished in: SBST (2014)
Keyphrases
- timed automata
- test case generation
- reachability analysis
- model checking
- social networks
- test cases
- software testing
- test data generation
- theorem prover
- optimization problems
- genetic algorithm
- test suite
- particle swarm optimization
- data sets
- first order logic
- theorem proving
- ant colony optimization
- metaheuristic
- static analysis
- real time systems
- object oriented systems
- optimal solution
- genetic programming
- object oriented