<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Automated testing reactive systems from Event-B model"^^ . "We present a model-based testing approach for reactive systems where both test inputs and expected results are generated from `restricted' Event-B specifications. We show that it is possible to automatically build the restricted Event-B specifications from the original ones base on a knowledge base of the system under tests. The restricted models are to reduce the state space of the original Event-B models while preserving the possible testing paths, so that our model-based generated test suite can archive equivalent path coverage as using the original models. We also present a tool and a testing skeleton that are easy to use so that system developers can effectively test an arbitrary number of scenarios with reactive systems."^^ . "2017" . . . . . . . . . . . . . . . . . "Toshiaki"^^ . "Aoki"^^ . "Toshiaki Aoki"^^ . . "Yuki"^^ . "Chiba"^^ . "Yuki Chiba"^^ . . "Anh Hoang"^^ . "Truong"^^ . "Anh Hoang Truong"^^ . . "Dieu Huong"^^ . "Vu"^^ . "Dieu Huong Vu"^^ . . . . "2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science"^^ . . . . . "Ha Noi, Viet Nam"^^ . . . . . . "Automated testing reactive systems from Event-B model (PDF)"^^ . . . "mypaper2.pdf"^^ . . "HTML Summary of #2711 \n\nAutomated testing reactive systems from Event-B model\n\n" . "text/html" . . . "Information Technology (IT)"@en . .