EPTCS 111 - MBT 2013
Alexander K. Petrenko, Holger Schlingloff (Eds.): Proceedings Eighth Workshop on Model-Based Testing. 2013 EPTCS 111 [ contents ]- Jan Peleska: Industrial-Strength Model-Based Testing - State of the Art and Current Challenges. ... 3-28
- Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric: Towards the Usage of MBT at ETSI. ... 30-34
- Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse: Decomposability in Input Output Conformance Testing. ... 51-66
- Mikhail M. Chupilko, Alexander S. Kamkin: Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. ... 67-81
- Stephan Weißleder, Hartmut Lackner: Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines. ... 82-94
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team