"379","Learn and Test for Event-B - a Rodin Plugin","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. ","http://deploy-eprints.ecs.soton.ac.uk/379/","Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin","UNSPECIFIED","       <span class=\"person_name\">Dinca, Ionut</span> and <span class=\"person_name\">Ipate, Florentin</span> and <span class=\"person_name\">Mierla, Laurentiu</span> and <span class=\"person_name\">Stefanescu, Alin</span>     (2012)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/379/\"><em>Learn and Test for Event-B - a Rodin Plugin.</em></a>       In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.           ","ionut.dinca@upit.ro,,,alin.stefanescu@upit.ro","2012-06-20"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>