Ausgabe 2/2019 Theme Section on Model-Based Testing; Special Section on ECMFA and ICMT at STAF 2016; BPMDS 2016 Special Section
Inhalt (34 Artikel)
SoSyM significantly reduces its backlog
- Editorial
Huseyin Ergin, Jeff Gray, Bernhard Rumpe, Martin Schindler
Editorial to the theme section on model-based testing
- Editorial
Mike Papadakis, Shaukat Ali, Gilles Perrouin
Model-based testing of software for automation systems using heuristics and coverage criterion
- Theme Section Paper
Rodrigo José Sarmento Peixoto, Leandro Dias da Silva, Angelo Perkusich
Toward testing from finite state machines with symbolic inputs and outputs
- Theme Section Paper
Alexandre Petrenko
A method for testing and validating executable statechart models
- Theme Section Paper
Tom Mens, Alexandre Decan, Nikolaos I. Spanoudakis
Temporal property patterns for model-based testing from UML/OCL
- Theme Section Paper
Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem
Property-based testing of web services by deriving properties from business-rule models
- Open Access
- Theme Section Paper
Bernhard K. Aichernig, Richard Schumi
Testing concurrent user behavior of synchronous web applications with Petri nets
- Theme Section Paper
Jeff Offutt, Sunitha Thummala
Supporting inheritance hierarchy changes in model-based regression test selection
- Theme Section Paper
Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola
Guest editorial to the special section on ECMFA and ICMT at STAF 2016
- Editorial
Pieter Van Gorp, Andrzej Wąsowski
An example is worth a thousand words: Creating graphical modelling environments by example
- Special Section Paper
Jesús J. López-Fernández, Antonio Garmendia, Esther Guerra, Juan de Lara
Model clone detection for rule-based model transformation languages
- Special Section Paper
Daniel Strüber, Vlad Acreţoaie, Jennifer Plöger
A local and global tour on MOMoT
- Special Section Paper
Robert Bill, Martin Fleck, Javier Troya, Tanja Mayerhofer, Manuel Wimmer
Stress-testing remote model querying APIs for relational and graph-based stores
- Open Access
- Special Section Paper
Antonio Garcia-Dominguez, Konstantinos Barmpis, Dimitrios S. Kolovos, Ran Wei, Richard F. Paige
Special Section of BPMDS’2016: Business Processes in a Connected World
- Editorial
Rainer Schmidt, Ilia Bider
Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights
- Special Section Paper
Gregor Jošt, Marjan Heričko, Gregor Polančič
Consistency requirements in business process modeling: a thorough overview
- Special Section Paper
Afef Awadid, Selmin Nurcan
Toward a framework for self-adaptive workflows in cyber-physical systems
- Special Section Paper
Ronny Seiger, Steffen Huber, Peter Heisig, Uwe Aßmann
Managing time-awareness in modularized processes
- Special Section Paper
Roberto Posenato, Andreas Lanz, Carlo Combi, Manfred Reichert
Selecting a process variant modeling approach: guidelines and application
- Open Access
- Special Section Paper
Banu Aysolmaz, Dennis M. M. Schunselaar, Hajo A. Reijers, Ali Yaldiz
Searching textual and model-based process descriptions based on a unified data format
- Open Access
- Special Section Paper
Henrik Leopold, Han van der Aa, Fabian Pittke, Manuel Raffel, Jan Mendling, Hajo A. Reijers
Semi-automatic derivation of RESTful choreographies from business process choreographies
- Special Section Paper
Adriatik Nikaj, Mathias Weske, Jan Mendling
Connecting databases with process mining: a meta model and toolset
- Open Access
- Special Section Paper
Eduardo González López de Murillas, Hajo A. Reijers, Wil M. P. van der Aalst
The next evolution of MDE: a seamless integration of machine learning into domain modeling
- Regular Paper
Thomas Hartmann, Assaad Moawad, Francois Fouquet, Yves Le Traon
End-to-end model-transformation comprehension through fine-grained traceability information
- Regular Paper
Victor Guana, Eleni Stroulia
3LConOnt: a three-level ontology for context modelling in context-aware computing
- Regular Paper
Oscar Cabrera, Xavier Franch, Jordi Marco
Uncertainty-Wise Cyber-Physical System test modeling
- Open Access
- Regular Paper
Man Zhang, Shaukat Ali, Tao Yue, Roland Norgren, Oscar Okariz
Assessing the impact of meta-model evolution: a measure and its automotive application
- Regular Paper
Darko Durisic, Miroslaw Staron, Matthias Tichy, Jörgen Hansson
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines
- Regular Paper
Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu
Formal modeling of biomedical signal acquisition systems: source of evidence for certification
- Regular Paper
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Paulo Cunha, Thiago Cordeiro, Antonio Marcus Nogueira Lima
Applying design patterns in the search-based optimization of software product line architectures
- Regular Paper
Giovani Guizzo, Thelma Elita Colanzi, Silvia Regina Vergilio
FlexiSketch: a lightweight sketching and metamodeling approach for end-users
- Regular Paper
Dustin Wüest, Norbert Seyff, Martin Glinz
From use case maps to executable test procedures: a scenario-based approach
- Regular Paper
Nader Kesserwan, Rachida Dssouli, Jamal Bentahar, Bernard Stepien, Pierre Labrèche
