In the context of software development, models provide an abstract representation of a
software system or a part of it. In the software development process, they are primarily used …

This paper deals with an original approach to automate Model-Based Vulnerability Testing
(MBVT) for Web applications, which aims at improving the accuracy and precision of …

Model‐based security testing relies on models to test whether a software system meets its
security requirements. It is an active research field of high relevance for industrial …

Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

Security attacks typically result from unintended behaviors or invalid inputs. Security testing
is labor intensive because a real-world program usually has too many invalid inputs. It is …

Security testing aims at validating software system requirements related to security
properties like confidentiality, integrity, authentication, authorization, availability, and non …

Software security issues have been a major concern in the cyberspace community, so a
great deal of research on security testing has been performed, and various security testing …

The world's increased dependence on software-enabled systems has raised major concerns
about software reliability and security. New cost-effective tools for software quality assurance …

Modern connected or autonomous vehicles (AVs) are highly complex cyber-physical
systems. As a result of the high number of different technologies and connectivity features …

This article introduces a new method for knowledge-based security testing by logic
programming and the related tool implementation for model-based non-functional security …