creators_name: Dinca, Ionut creators_name: Ipate, Florentin creators_name: Mierla, Laurentiu creators_name: Stefanescu, Alin creators_id: ionut.dinca@upit.ro creators_id: alin.stefanescu@upit.ro type: conference_item datestamp: 2012-03-16 09:22:33 lastmod: 2012-04-19 21:20:33 metadata_visibility: show corp_creators: University of Pitesti, Romania title: Learn and Test for Event-B - a Rodin Plugin ispublished: pub subjects: deploy_tooldev subjects: deploy_tooldev_modelc subjects: deploy_tooldev_other subjects: deploy_tooldev_rodinplugins full_text_status: public pres_type: paper keywords: testing, tool paper, Event-B, learning note: Springer, LNCS, volume 7316, pp. 361-364 abstract: The Event-B method is a formal approach for reliable systems specification and verification, being supported by the Rodin platform, which includes mature plugins for theorem-proving, model-checking, or model (de)composition features. In order to complement these techniques with test generation and state model inference from Event-B models, we developed a new feature as a Rodin plugin. Our plugin implements a model-learning approach to iteratively construct an approximate automaton model together with an associated test suite. Test suite optimization is further applied according to different optimization criteria. date: 2012-06-20 date_type: published pagerange: 361-364 event_title: ABZ'12 Conference event_location: Pisa, Italy event_dates: June 19-21, 2012 event_type: conference refereed: TRUE citation: Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin (2012) Learn and Test for Event-B - a Rodin Plugin. In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy. document_url: http://deploy-eprints.ecs.soton.ac.uk/379/7/abz12-camera-ready.pdf