Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation.
Einollah PiraVahid RafeAmin NikanjamPublished in: Reliab. Eng. Syst. Saf. (2019)
Keyphrases
- graph transformation
- reachability analysis
- evolutionary algorithm
- complex software systems
- software systems
- software engineering
- software development
- model checking
- markov decision processes
- multi objective
- optimization problems
- evolutionary computation
- differential evolution
- timed automata
- incremental algorithms
- multi objective optimization
- state space
- software testing
- genetic algorithm
- differential evolution algorithm
- nsga ii
- object oriented
- theorem prover
- neural network
- information systems
- markov chain
- cooperative
- databases
- optimization algorithm