Industrial deployment of system engineering methods providing high dependability and productivity


Towards Search-based Testing for Event-B Models

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.

[img] PDF - Published Version

Official URL:


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.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Abstract state machines; Event-B; model-based testing; search-based software testing
Subjects:Methodology > Other
Tool developments
ID Code:288
Deposited By: Dr. Alin Stefanescu
Deposited On:24 Feb 2011 08:40
Last Modified:15 Mar 2012 12:32

Repository Staff Only: item control page

Deploy-Project - All right reserved