62 citations
- Moscow Institute of Physics and TechnologyRU21 papers
- Lomonosov Moscow State UniversityRU11 papers
- Russian Academy of SciencesRU11 papers
- Innopolis UniversityRU8 papers
- Steklov Mathematical InstituteRU6 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institute of Physics and TechnologyKZ4 papers
- Moscow Aviation InstituteRU4 papers
- Moscow Power Engineering InstituteRU4 papers
- National Research University Higher School of EconomicsRU4 papers
- École Normale Supérieure de LyonFR3 papers
- Institute for Information Transmission ProblemsRU3 papers
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…