@inproceedings{deploy379,
       booktitle = {ABZ'12 Conference},
           month = {June},
           title = {Learn and Test for Event-B - a Rodin Plugin},
          author = {Ionut Dinca and Florentin Ipate and Laurentiu Mierla and Alin Stefanescu},
            year = {2012},
           pages = {361--364},
            note = {Springer, LNCS, volume 7316, pp. 361-364},
        keywords = {testing, tool paper, Event-B, learning},
             url = {http://deploy-eprints.ecs.soton.ac.uk/379/},
        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. }
}

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