TY  - CONF
N1  - Springer, LNCS, volume 7316, pp. 361-364
ID  - deploy379
UR  - http://deploy-eprints.ecs.soton.ac.uk/379/
A1  - Dinca, Ionut
A1  - Ipate, Florentin
A1  - Mierla, Laurentiu
A1  - Stefanescu, Alin
Y1  - 2012/06/20/
N2  - 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. 
KW  - testing
KW  -  tool paper
KW  -  Event-B
KW  -  learning
TI  - Learn and Test for Event-B - a Rodin Plugin
SP  - 361
M2  - Pisa, Italy
AV  - public
EP  - 364
T2  - ABZ'12 Conference
ER  -

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