Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …

This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …

Test case selection in model‐based testing is discussed focusing on the use of a similarity
function. Automatically generated test suites usually have redundant test cases. The reason …

Fault-based testing is a technique where testers anticipate errors in a system under test in
order to assess or generate test cases. The idea is to have enough test cases capable of …

In this work we present a model-based framework for security vulnerabilities testing. Security
vulnerabilities are not only related to security functionalities at the application level but are …

Testing real-time systems is a non-trivial validation task, especially after adding time as a
new dimension to its complexity. In previous research, we introduced a'priority …

The Pernambuco School on Software Engineering (PSSE) 2007 was the second in a series
of events devoted to the study of advanced computer science and to the promotion of …

This paper presents a technique for automatic generation of tests for robotic systems based
on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation …

This paper presents a theory of testing that integrates into Hoare and He's Unifying Theory of
Programming (UTP). We give test cases a denotational semantics by viewing them as …

With the increase of the popularity of Web services, more and more Web applications are
developed with this new kind of components. This new way of software development brings …