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