In recent years, cybersecurity certification is gaining momentum as the baseline to build a
structured approach to mitigate cybersecurity risks in the Internet of Things (IoT). This …

Context: Security testing is a challenging and effort-demanding task in IoT scenarios. The
heterogeneous devices expose different vulnerabilities that can influence the methods and …

Model transformations are the key technique in Model-Driven Engineering (MDE) to
manipulate and construct models. As a consequence, the correctness of software systems …

The Object Constraint Language (OCL) is a declarative language that adds constraints and
object query expressions to Meta-Object Facility (MOF) models. OCL can provide precision …

Datasets play a central role in the training and evaluation of machine learning (ML) models.
But they are also the root cause of many undesired model behaviors, such as biased …

Model generators are important tools in model-based systems engineering to automate the
creation of software models for tasks like testing and benchmarking. Previous works have …

[ES] Una de las principales características de la actual Sociedad del Conocimiento reside
en el valor del conocimiento como un recurso activo en cualquier tipo de entidad, desde …

Design methods and tools evolved to support the principle of" separation of concerns" in
order to manage engineering complexity. Accordingly, most engineering tool suites are …

In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

Abstract REpresentational State Transfer (REST) has become the dominant approach to
design Web APIs nowadays, resulting in thousands of public REST Web APIs offering …