---
abstract: 'Event-B is a formal modeling language having set theory as its mathematical foundation and abstract state machines as its behavioral specifications. The language has very good tool support based on theorem proving and model checking technologies, but very little support for test generation. Motivated by industrial interest in the latter domain, this paper presents an approach based on genetic algorithms that generates test data for Event-B test paths. For that, new fitness functions adapted to the set-theoretic nature of Event-B are devised. The approach was implemented and its efficiency was proven on a carefully designed benchmark using statistically sound evaluations. '
accompaniment: []
book_title: ~
commentary: ~
completion_time: ~
composition_type: ~
conductors_id: []
conductors_name: []
contact_email: ~
copyright_holders: []
corp_creators: []
creators_id:
  - ~
  - alin.stefanescu@upit.ro
  - ~
  - ~
  - ~
creators_name:
  - family: Dinca
    given: Ionut
    honourific: ''
    lineage: ''
  - 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
date_type: published
datestamp: 2011-05-25 06:36:23
department: ~
dir: disk0/00/00/03/05
divisions: []
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 305
event_dates: 'June 27-29, 2011'
event_location: Malaysia
event_title: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11)
event_type: conference
exhibitors_id: []
exhibitors_name: []
fileinfo: application/pdf;http://deploy-eprints.ecs.soton.ac.uk/305/1/icsecs11%2Dfinal%2Dversion.pdf
full_text_status: public
funders: []
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 testing.
lastmod: 2011-10-13 20:53:02
latitude: ~
learning_level: ~
longitude: ~
lyricists_id: []
lyricists_name: []
metadata_visibility: show
monograph_type: ~
note: Springer
num_pieces: ~
number: ~
official_url: http://www.springerlink.com/content/jq437668q5l87mx4/
output_media: ~
pagerange: 76-90
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: 24
series: ~
skill_areas: []
source: ~
status_changed: 2011-05-25 06:36:23
subjects:
  - deploy_tooldev_other
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
task_purpose: ~
thesis_type: ~
title: Test Data Generation for Event-B Models using Genetic Algorithms
type: conference_item
userid: 263
volume: ~
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>