About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …

Where the creation, understanding, and assessment of software testing and regression
testing techniques are concerned, controlled experimentation is an indispensable research …

We investigate the problem of configuration verification for the extended FSM (EFSM) model.
This is an extension of the FSM state identification problem. Specifically, given a …

Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software,
a fault is likely triggered by only a few variables interacting. The method takes advantage of …

The size of a test-suite has a direct impact on the costs and the effort of software testing.
Especially during regression testing, when software is re-tested after some modifications, the …

Combinatorial interaction testing (CIT) is an important technique for testing highly
configurable software systems with demonstrated effectiveness in practice. The goal of CIT …

MoMuT:: UML is a model-based mutation testing tool for UML models. It maps UML state
machines to a formal semantics and performs a conformance check between an original and …

In this paper we integrate radviz and parallel coordinates, two methods able to handle
multidimensional datasets, exploiting their contrasting characteristics. From on side radviz …

Where the creation, understanding, and assessment of software testing and regression
testing techniques are concerned, controlled experimentation is an indispensable research …

The development of a new system involves extensive tests on the software functionality in
order to identify possible failures. Also, a system already built requires a fine tuning of its …