creators_name: Dinca, Ionut 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-05-25 06:36:23 lastmod: 2011-10-13 20:53:02 metadata_visibility: show title: Test Data Generation for Event-B Models using Genetic Algorithms ispublished: pub subjects: deploy_tooldev_other full_text_status: public pres_type: paper keywords: Abstract state machines; Event-B; model-based testing; search-based testing. note: Springer 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. date: 2011 date_type: published pagerange: 76-90 event_title: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11) event_location: Malaysia event_dates: June 27-29, 2011 event_type: conference refereed: TRUE official_url: http://www.springerlink.com/content/jq437668q5l87mx4/ citation: Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Test Data Generation for Event-B Models using Genetic Algorithms. In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia. document_url: http://deploy-eprints.ecs.soton.ac.uk/305/1/icsecs11-final-version.pdf