Using search-based techniques for testing executable software models specified through graph transformations.
Anvar BahrampourVahid RafePublished in: Int. J. Mach. Learn. Cybern. (2020)
Keyphrases
- search algorithm
- test data generation
- software systems
- statistical models
- control flow
- test cases
- probabilistic model
- metamodel
- information retrieval
- quality assurance
- software testing
- graph representation
- graph model
- software tools
- bipartite graph
- search strategy
- directed graph
- search space
- computer systems
- software development