@inproceedings{deploy288,
       booktitle = {4th International Workshop on Search-Based Software Testing},
           month = {March},
           title = {Towards Search-based Testing for Event-B Models},
          author = {Alin Stefanescu and Florentin Ipate and Raluca Lefticaru and Cristina Tudose},
            year = {2011},
           pages = {194--197},
        keywords = {Abstract state machines; Event-B; model-based testing; search-based software testing},
             url = {http://deploy-eprints.ecs.soton.ac.uk/288/},
        abstract = {This position paper discusses the challenges and opportunities of applying search-based techniques to a formal environment of abstract state machines defined using a language called Event-B. Event-B is based on a formal abstract machine notation that has a mature tool support and gets continuous feedback from industry. Although search-based techniques recently developed for extended finite state machines may be adapted to this context, new challenges such as implicit states, non-determinism, non-numerical datatypes and hierarchical models are still to be solved for test data generation for Event-B models.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>