Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

The adoption of a product line strategy can bring significant productivity and time to market
improvements. However, evolving a product line is risky because it might impact many …

We present a strategy for the automatic generation of test cases from parametrised use case
templates that capture control flow, state, input and output. Our approach allows test …

Test suite reduction strategies aim to produce a smaller and representative suite that
presents the same coverage as the original one but is more cost-effective. In the model …

AUTOSAR multicore RTOS is a safety-critical concurrent system, for which high quality is
required. A conformance test is important to ensure the quality of the software, but the …

Model-Based Testing (MBT) can be a valuable tool for software testing, automating test
generation from the System Under Test (SUT) models and making the testing process …

The usual way to guarantee quality of software products is via testing. This paper presents a
novel strategy for selection and prioritisation of Test Cases (TC) for Regression testing. In …

Testing is an important activity on the project life-cycle. Test suites are generated from
system models and can be explicit or not. This generation can follow a hand-crafted …

Free/Libre/Open Source Software (FLOSS) communities have produced a large amount of
valuable software that is directly or indirectly used daily by any person with access to a …

Abstract In Model-based Testing (MBT), test cases are automatically generated from a formal
model of the system. A disadvantage of MBT is that developers must deal with formal …