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
Showing 2013Show all
3 papers · 1 filter
cs.SE2013★ 17 cited
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…
cs.SE2013★ 1 cited
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…
cs.SE2013★ 5 cited
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…