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. © 2012 Springer-Verlag.
CITATION STYLE
Dinca, I., Ipate, F., Mierla, L., & Stefanescu, A. (2012). Learn and test for event-B - A Rodin plugin. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7316 LNCS, pp. 361–364). https://doi.org/10.1007/978-3-642-30885-7_32
Mendeley helps you to discover research relevant for your work.