%A Alin Stefanescu
%A Florentin Ipate
%A Raluca Lefticaru
%A Cristina Tudose
%T Towards Search-based Testing for Event-B Models
%X 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.
%C Berlin
%D 2011
%K Abstract state machines; Event-B; model-based testing; search-based software testing
%P 194-197
%L deploy288

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