17 citations
- Fraunhofer Institute for Open Communication SystemsDE2 papers
- Russian Academy of SciencesRU2 papers
- Ericsson (Hungary)HU1 paper
- Ericsson (Sweden)SE1 paper
- European Telecommunications Standards InstituteFR1 paper
- Humboldt-Universität zu BerlinDE1 paper
- Thales (Germany)DE1 paper
- University of GöttingenDE1 paper
6 papers
Proceedings Tenth Workshop on Model Based Testing
Nikolay Pakulin, Alexander K. Petrenko, Bernd-Holger Schlingloff
The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to…
Proceedings Ninth Workshop on Model-Based Testing
Holger Schlingloff, Alexander K. Petrenko
This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the Eur…
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
Mikhail Chupilko, Alexander Kamkin
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies c…
Towards the Usage of MBT at ETSI
Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio +2
In 2012 the Specialists Task Force (STF) 442 appointed by the European Telcommunication Standards Institute (ETSI) explored the possibilities of using Model Based Testing (MBT) for…
Proceedings Eighth Workshop on Model-Based Testing
Alexander K. Petrenko, Holger Schlingloff
This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European…
Model-Based Testing of Safety Critical Real-Time Control Logic Software
Yevgeny Gerlits, Alexey Khoroshilov
The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial…