Volume 19, issue 3, June 2017

MBTCloud (pp. 271-339)

6 articles in this issue

Model-based testing as a service

Authors
- Steffen Herbold
- Andreas Hoffmann
- Content type: Introduction
- Open Access
- Published: 06 March 2017
- Pages: 271 - 279
Automation and intelligent scheduling of distributed system functional testing

Authors (first, second and last of 9)
- Lom Messan Hillah
- Ariele-Paolo Maesano
- Libero Maesano
- Content type: MBTCloud
- Published: 02 November 2016
- Pages: 281 - 308
Combining usage-based and model-based testing for service-oriented architectures in the industrial practice

Authors
- Steffen Herbold
- Patrick Harms
- Jens Grabowski
- Content type: MBTCloud
- Published: 21 September 2016
- Pages: 309 - 324
Practical experiences in the usage of MIDAS in the logistics domain

Authors
- M. A. Barcelona
- L. García-Borgoñón
- G. López-Nicolás
- Content type: MBTCloud
- Published: 22 June 2016
- Pages: 325 - 339
Fully automated runtime enforcement of component-based systems with formal and sound recovery

Authors
- Yliès Falcone
- Mohamad Jaber
- Content type: Regular Paper
- Published: 03 February 2016
- Pages: 341 - 365
The first reactive synthesis competition (SYNTCOMP 2014)

Authors (first, second and last of 13)
- Swen Jacobs
- Roderick Bloem
- Adam Walker
- Content type: Regular Paper
- Published: 09 April 2016
- Pages: 367 - 390