A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations.
Vahid RafeMaryam MoradiRosa YousefianAmin NikanjamPublished in: Appl. Soft Comput. (2015)
Keyphrases
- heuristic solution
- complex software systems
- multi commodity
- network design
- lower bound
- network design problem
- knapsack problem
- optimal solution
- software systems
- feasible solution
- exhaustive search
- high level
- software development
- software engineering
- facility location
- case study
- linear programming
- neural network
- energy minimization
- scheduling problem
- np hard
- data model