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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-30885-7_32 | ABZ |
Keywords | Field | DocType |
state model inference,associated test suite,rodin platform,different optimization criterion,event-b model,test suite optimization,approximate automaton model,test generation,rodin plugin,event-b method | Test suite,Data mining,Programming language,Inference,Computer science,Automaton,Abstract state machines,Conformance testing,State model,Plug-in | Conference |
Citations | PageRank | References |
3 | 0.39 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ionut Dinca | 1 | 10 | 1.88 |
Florentin Ipate | 2 | 419 | 43.20 |
Laurentiu Mierla | 3 | 35 | 3.64 |
Alin Stefanescu | 4 | 209 | 17.79 |