Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6905769 | Applied Soft Computing | 2014 | 12 Pages |
Abstract
- In software system development, modeling per-se without analysis capabilities is not enough.
- One of the best analysis solutions is model checking.
- The problem is that when state space is too large, model checking cannot be used.
- We suggest using genetic algorithm to avoid searching the entire state space.
- The experimental results of the approach are promising.
Related Topics
Physical Sciences and Engineering
Computer Science
Computer Science Applications
Authors
Rosa Yousefian, Vahid Rafe, Mohsen Rahmani,