title: Towards Search-based Testing for Event-B Models
creator: Stefanescu, Alin
creator: Ipate, Florentin
creator: Lefticaru, Raluca
creator: Tudose, Cristina
subject: Other
subject: Tool developments
description: 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.
date: 2011-03-21
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/288/1/sbst11-final-version.pdf
relation: http://dx.doi.org/10.1109/ICSTW.2011.41
identifier:   Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina  (2011) Towards Search-based Testing for Event-B Models.  In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin.     
relation: http://deploy-eprints.ecs.soton.ac.uk/288/