58 citations
- Fraunhofer Institute for Open Communication SystemsDE2 papers
- Russian Academy of SciencesRU2 papers
- 3rd Central Research Institute of the Russian Defence MinistryRU1 paper
- Academy of Federal Security Guard Service of Russian FederationRU1 paper
- Ericsson (Hungary)HU1 paper
- Ericsson (Sweden)SE1 paper
- European Telecommunications Standards InstituteFR1 paper
- Federal Protective ServiceRU1 paper
- Humboldt-Universität zu BerlinDE1 paper
- Lomonosov Moscow State UniversityRU1 paper
- Ministry of Defence of the Russian FederationRU1 paper
- Moscow Institute of Physics and TechnologyRU1 paper
Showing 2013 · cs.SEShow all
3 papers · 2 filters
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…