Regression testing is a testing activity that is performed to provide confidence that changes
do not harm the existing behaviour of the software. Test suites tend to grow in size as …

CONTEXT: In software development, Testing is an important mechanism both to identify
defects and assure that completed products work as specified. This is a common practice in …

The ability to evolve software rapidly and reliably is a major challenge for software
engineering. In this introductory chapter we start with a historic overview of the research …

This article addresses the need of applying testing activities with the purpose of checking the
consistency and the correctness of distributed and dynamically adaptable systems whose …

In this dissertation we report on our main research contributions dealing with Model-Based
Testing of Dynamic and Distributed Real-Time Systems, performed during the last ten years …

As most software continually evolves and changes during development and maintenance, it
is necessary to test new and modified parts and retest existing parts that might have been …

Regression testing is an important activity performed to validate modified software, and one
of its key tasks is regression test selection (RTS)--selecting a subset of existing test cases to …

This paper presents a model-based black-box testing approach for dynamically adaptive
systems. Behavioral models of such systems are formally specified using timed automata …

Software architecture specifications are of growing importance for coping with the complexity
of large-scale systems. They provide an abstract view on the high-level structural system …

A product line architecture is a single specification capturing the overall architecture of a
series of closely related products. Its structure consists of a set of mandatory elements and a …