---
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.'
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators:
  - 'University of Pitesti, Romania'
creators_id:
  - alin.stefanescu@upit.ro
  - ~
  - ~
  - ~
creators_name:
  - family: Stefanescu
    given: Alin
    honourific: ''
    lineage: ''
  - family: Ipate
    given: Florentin
    honourific: ''
    lineage: ''
  - family: Lefticaru
    given: Raluca
    honourific: ''
    lineage: ''
  - family: Tudose
    given: Cristina
    honourific: ''
    lineage: ''
data_type: ~
date: 2011-03-21
date_type: published
datestamp: 2011-02-24 08:40:27
department: ~
dir: disk0/00/00/02/88
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 288
event_dates: 21 Mar 2011
event_location: Berlin
event_title: 4th International Workshop on Search-Based Software Testing
event_type: workshop
exhibitors_id: []
exhibitors_name: []
fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/288/1/sbst11%2Dfinal%2Dversion.pdf
full_text_status: public
funders:
  - EC
  - CNCSIS
id_number: ~
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: Abstract state machines; Event-B; model-based testing; search-based software testing
lastmod: 2012-03-15 12:32:03
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: ~
num_pieces: ~
number: ~
official_url: http://dx.doi.org/10.1109/ICSTW.2011.41
output_media: ~
pagerange: 194-197
pages: ~
patent_applicant: ~
pedagogic_type: ~
place_of_pub: ~
pres_type: paper
producers_id: []
producers_name: []
projects:
  - DEPLOY
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
related_url_type: []
related_url_url: []
relation_type: []
relation_uri: []
rev_number: 20
series: ~
skill_areas: []
source: ~
status_changed: 2011-02-24 08:40:27
subjects:
  - deploy_method_other
  - deploy_tooldev
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Towards Search-based Testing for Event-B Models
type: conference_item
userid: 263
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>