1. SoSyM significantly reduces its backlog

   • Huseyin Ergin
   • Jeff Gray
   • Martin Schindler

   Editorial 22 February 2019 Pages: 793 - 794

2. Editorial to the theme section on model-based testing

   • Mike Papadakis
   • Shaukat Ali
   • Gilles Perrouin

   Editorial 12 October 2018 Pages: 795 - 796

3. Model-based testing of software for automation systems using heuristics and coverage criterion

   • Rodrigo José Sarmento Peixoto
   • Leandro Dias da Silva
   • Angelo Perkusich

   Theme Section Paper 21 August 2018 Pages: 797 - 823

   

4. Toward testing from finite state machines with symbolic inputs and outputs

   • Alexandre Petrenko

   Theme Section Paper 03 August 2017 Pages: 825 - 835

   

5. A method for testing and validating executable statechart models

   • Tom Mens
   • Alexandre Decan
   • Nikolaos I. Spanoudakis

   Theme Section Paper 03 May 2018 Pages: 837 - 863

   

6. Temporal property patterns for model-based testing from UML/OCL

   • Frédéric Dadeau
   • Elizabeta Fourneret
   • Abir Bouchelaghem

   Theme Section Paper 21 November 2017 Pages: 865 - 888

   

7. Property-based testing of web services by deriving properties from business-rule models

   • Bernhard K. Aichernig
   • Richard Schumi

   Theme Section Paper Open access 08 December 2017 Pages: 889 - 911

   

8. Testing concurrent user behavior of synchronous web applications with Petri nets

   • Jeff Offutt
   • Sunitha Thummala

   Theme Section Paper 28 February 2018 Pages: 913 - 936

   

9. Supporting inheritance hierarchy changes in model-based regression test selection

   • Mohammed Al-Refai
   • Sudipto Ghosh
   • Walter Cazzola

   Theme Section Paper 06 December 2017 Pages: 937 - 958

   

10. Guest editorial to the special section on ECMFA and ICMT at STAF 2016

    • Pieter Van Gorp
    • Andrzej Wąsowski

    Editorial 06 February 2018 Pages: 959 - 960

11. An example is worth a thousand words: Creating graphical modelling environments by example

    • Jesús J. López-Fernández
    • Antonio Garmendia
    • Juan de Lara

    Special Section Paper 21 November 2017 Pages: 961 - 993

    

12. Model clone detection for rule-based model transformation languages

    • Daniel Strüber
    • Vlad Acreţoaie
    • Jennifer Plöger

    Special Section Paper 06 October 2017 Pages: 995 - 1016

    

13. A local and global tour on MOMoT

    • Robert Bill
    • Martin Fleck
    • Manuel Wimmer

    Special Section Paper 01 December 2017 Pages: 1017 - 1046

    

14. Stress-testing remote model querying APIs for relational and graph-based stores

    • Antonio Garcia-Dominguez
    • Konstantinos Barmpis
    • Richard F. Paige

    Special Section Paper Open access 30 June 2017 Pages: 1047 - 1075

    

15. Special Section of BPMDS’2016: Business Processes in a Connected World

    • Rainer Schmidt
    • Ilia Bider

    Editorial 11 May 2018 Pages: 1077 - 1078

16. Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights

    • Gregor Jošt
    • Marjan Heričko
    • Gregor Polančič

    Special Section Paper 28 August 2017 Pages: 1079 - 1095

    

17. Consistency requirements in business process modeling: a thorough overview

    • Afef Awadid
    • Selmin Nurcan

    Special Section Paper 09 November 2017 Pages: 1097 - 1115

    

18. Toward a framework for self-adaptive workflows in cyber-physical systems

    • Ronny Seiger
    • Steffen Huber
    • Uwe Aßmann

    Special Section Paper 24 November 2017 Pages: 1117 - 1134

    

19. Managing time-awareness in modularized processes

    • Roberto Posenato
    • Andreas Lanz
    • Manfred Reichert

    Special Section Paper 16 February 2018 Pages: 1135 - 1154

    

20. Selecting a process variant modeling approach: guidelines and application

    • Banu Aysolmaz
    • Dennis M. M. Schunselaar
    • Ali Yaldiz

    Special Section Paper Open access 09 December 2017 Pages: 1155 - 1178

    

21. Searching textual and model-based process descriptions based on a unified data format

    • Henrik Leopold
    • Han van der Aa
    • Hajo A. Reijers

    Special Section Paper Open access 22 December 2017 Pages: 1179 - 1194

    

22. Semi-automatic derivation of RESTful choreographies from business process choreographies

    • Adriatik Nikaj
    • Mathias Weske
    • Jan Mendling

    Special Section Paper 02 January 2018 Pages: 1195 - 1208

    

23. Connecting databases with process mining: a meta model and toolset

    • Eduardo González López de Murillas
    • Hajo A. Reijers
    • Wil M. P. van der Aalst

    Special Section Paper Open access 19 February 2018 Pages: 1209 - 1247

    

24. Managing design-time uncertainty

    • Michalis Famelis
    • Marsha Chechik

    Regular Paper 30 March 2017 Pages: 1249 - 1284

    

25. The next evolution of MDE: a seamless integration of machine learning into domain modeling

    • Thomas Hartmann
    • Assaad Moawad
    • Yves Le Traon

    Regular Paper 29 May 2017 Pages: 1285 - 1304

    

26. End-to-end model-transformation comprehension through fine-grained traceability information

    • Victor Guana
    • Eleni Stroulia

    Regular Paper 01 June 2017 Pages: 1305 - 1344

    

27. 3LConOnt: a three-level ontology for context modelling in context-aware computing

    • Oscar Cabrera
    • Xavier Franch
    • Jordi Marco

    Regular Paper 16 August 2017 Pages: 1345 - 1378

    

28. Uncertainty-Wise Cyber-Physical System test modeling

    • Man Zhang
    • Shaukat Ali
    • Oscar Okariz

    Regular Paper Open access 25 July 2017 Pages: 1379 - 1418

    

29. Assessing the impact of meta-model evolution: a measure and its automotive application

    • Darko Durisic
    • Miroslaw Staron
    • Jörgen Hansson

    Regular Paper 29 May 2017 Pages: 1419 - 1445

    

30. SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines

    • Jianmei Guo
    • Jia Hui Liang
    • Huiqun Yu

    Regular Paper 22 July 2017 Pages: 1447 - 1466

    

31. Formal modeling of biomedical signal acquisition systems: source of evidence for certification

    • Alvaro Sobrinho
    • Leandro Dias da Silva
    • Antonio Marcus Nogueira Lima

    Regular Paper 14 August 2017 Pages: 1467 - 1485

    

32. Applying design patterns in the search-based optimization of software product line architectures

    • Giovani Guizzo
    • Thelma Elita Colanzi
    • Silvia Regina Vergilio

    Regular Paper 02 August 2017 Pages: 1487 - 1512

    

33. FlexiSketch: a lightweight sketching and metamodeling approach for end-users

    • Dustin Wüest
    • Norbert Seyff
    • Martin Glinz

    Regular Paper 16 September 2017 Pages: 1513 - 1541

    

34. From use case maps to executable test procedures: a scenario-based approach

    • Nader Kesserwan
    • Rachida Dssouli
    • Pierre Labrèche

    Regular Paper 31 August 2017 Pages: 1543 - 1570