A network of communicating FSMs (NCFSMs) is a useful formalism to model complex
concurrent systems, but its use demands efficient analysis algorithms. We propose a new …

Dynamic resource allocation (DRA) in MIMO-OFDMA systems supporting multiple services
is studied. A low complexity linear algorithm based on solving an RA optimization problem …

Over the past 25 years the Brazilian Symposium on Software Engineering (SBES) has
evolved to become the most important event on software engineering in Brazil. Throughout …

This dissertation investigates the uses of Story Test Driven Development in Agile software
development teams. There are three main research questions: 1) What problems are faced …

The requirements engineering phase of software development remains presents many
challenges to researchers and practitioners alike. Among them, the management of …

The growing complexity and size of software systems, along with the increasing role of
software in everyday life, makes verification and validation, and testing in particular …

Experimentation is the traditional way of identifying cause-effect relationships in scientific
research. Lately, there has been an increasing understanding that experiments and other …

As part of network security testing, an administrator needs to know whether the firewall
enforces the security policy as expected or not. In this setting, black-box testing and …

Over the last few years, web-based attacks have caused significant harm to users. Many of
these attacks occur through the exploitations of common security vulnerabilities in web …