title: Learn and Test for Event-B - a Rodin Plugin
creator: Dinca, Ionut
creator: Ipate, Florentin
creator: Mierla, Laurentiu
creator: Stefanescu, Alin
subject: Tool developments
subject: Model construction
subject: Other
subject: Rodin plug-ins
description: 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
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/379/7/abz12-camera-ready.pdf
identifier:   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.     
relation: http://deploy-eprints.ecs.soton.ac.uk/379/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>