Software Testing Verification and Validation Workshop, IEEE International Conference on (2011)
Mar. 21, 2011 to Mar. 25, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.41
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 data types and hierarchical models are still to be solved for test data generation for Event-B models.
Abstract state machines, Event-B, model-based testing, search-based software testing
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose, "Towards Search-Based Testing for Event-B Models", Software Testing Verification and Validation Workshop, IEEE International Conference on, vol. 00, no. , pp. 194-197, 2011, doi:10.1109/ICSTW.2011.41