Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …

Every year several contributions to the model‐based testing (MBT) field are published.
Therefore, to follow the evolution and trends of several tools and models available is difficult …

This paper defines a transformation from Behavior Tree models to UML state machines.
Behavior Trees are a graphical modelling notation for capturing and formalising dynamic …

Time Petri nets (TPN model) allow the specification of real-time systems involving explicit
timing constraints. The main challenge of the analysis of such systems is to construct, with …

Requirements engineering is vital for a software development project's success or failure. As
today's software systems are getting more and more complex, their related requirements …

Abstract Service-Oriented Architectures (SOA) claim to facilitate the construction of flexible
and loosely coupled business applications. Therefore it is seen as an enabling factor for the …

O teste de software é uma atividade fundamental para garantir a qualidade de software.
Além disso, teste de software é uma das atividades mais caras e demoradas no processo …

UML modeling environments for doing model-based testing are often not very comfortable to
use and burden some knowledge about the internals of UML to the users, respectively test …

Context: The testing phase is an important but very expensive part of development process.
Model-Based Testing (MBT) allows the automation of the generation of test cases to …

The increasing complexity of software-intensive systems raises a lot of challenges
demanding new techniques for ensuring their overall quality. The risk of not meeting the …