"288","Towards Search-based Testing for Event-B Models","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.","http://deploy-eprints.ecs.soton.ac.uk/288/","Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina","UNSPECIFIED","       <span class=\"person_name\">Stefanescu, Alin</span> and <span class=\"person_name\">Ipate, Florentin</span> and <span class=\"person_name\">Lefticaru, Raluca</span> and <span class=\"person_name\">Tudose, Cristina</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/288/\"><em>Towards Search-based Testing for Event-B Models.</em></a>       In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin.           ","alin.stefanescu@upit.ro,,,","2011-03-21"