TY  - CONF
ID  - deploy288
UR  - http://dx.doi.org/10.1109/ICSTW.2011.41
A1  - Stefanescu, Alin
A1  - Ipate, Florentin
A1  - Lefticaru, Raluca
A1  - Tudose, Cristina
Y1  - 2011/03/21/
N2  - 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.
KW  - Abstract state machines; Event-B; model-based testing; search-based software testing
TI  - Towards Search-based Testing for Event-B Models
SP  - 194
M2  - Berlin
AV  - public
EP  - 197
T2  - 4th International Workshop on Search-Based Software Testing
ER  -

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