creators_name: Stefanescu, Alin
creators_name: Ipate, Florentin
creators_name: Lefticaru, Raluca
creators_name: Tudose, Cristina
creators_id: alin.stefanescu@upit.ro
type: conference_item
datestamp: 2011-02-24 08:40:27
lastmod: 2012-03-15 12:32:03
metadata_visibility: show
corp_creators: University of Pitesti, Romania
title: Towards Search-based Testing for Event-B Models
ispublished: pub
subjects: deploy_method_other
subjects: deploy_tooldev
full_text_status: public
pres_type: paper
keywords: Abstract state machines; Event-B; model-based testing; search-based software testing
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 datatypes and hierarchical models are still to be solved for test data generation for Event-B models.
date: 2011-03-21
date_type: published
pagerange: 194-197
event_title: 4th International Workshop on Search-Based Software Testing
event_location: Berlin
event_dates: 21 Mar 2011
event_type: workshop
refereed: TRUE
official_url: http://dx.doi.org/10.1109/ICSTW.2011.41
citation:   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.     
document_url: http://deploy-eprints.ecs.soton.ac.uk/288/1/sbst11-final-version.pdf