The Community for Technology Leaders
Software Testing Verification and Validation Workshop, IEEE International Conference on (2011)
Berlin, Germany
Mar. 21, 2011 to Mar. 25, 2011
ISBN: 978-0-7695-4345-1
pp: 194-197
ABSTRACT
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.
INDEX TERMS
Abstract state machines, Event-B, model-based testing, search-based software testing
CITATION

F. Ipate, R. Lefticaru, A. Stefanescu and C. Tudose, "Towards Search-Based Testing for Event-B Models," Software Testing Verification and Validation Workshop, IEEE International Conference on(ICSTW), Berlin, Germany, 2011, pp. 194-197.
doi:10.1109/ICSTW.2011.41
98 ms
(Ver 3.3 (11022016))