Concurrent programs are replacing the sequential programs as they utilize the true
capabilities of multicore architecture. The extensive use of multicore systems and …

Employing genetic algorithms to generate test data for path coverage has been an important
method in software testing. Previous work, however, is suitable mainly for serial programs …

Develo** high‐quality, error‐free message‐passing concurrent programs is not trivial.
Although a number of different primitives with associated semantics are available to assist …

Testing is a key activity to assure the quality of concurrent applications. In recent years, a
variety of different mechanisms have been proposed to test concurrent software. However, a …

Reachability testing is an important approach to testing concurrent programs. It generates
and exercises synchronization sequences automatically and on-the-fly without saving any …

Theories for model-based testing identify exhaustive test sets: typically infinite sets of tests
whose execution establishes the conformance relation of interest. Practical techniques rely …

Test data generation, the premise of software testing, has attracted scholars in the software
engineering community in recent years. Influenced by task partitioning, process scheduling …

Reachability testing is an important approach to testing concurrent programs. It generates
and exercises every partially ordered synchronization sequence automatically and on-the-fly …

A Programação Concorrente tornou-se uma forma popular de desenvolvimento de software.
Este paradigma de desenvolvimento e essencial para construir aplicações com o intuito de …

Testing activity applied to mobile robotic systems is a challenge because new features, such
as non-determinism of inputs, communication among components and time constraints must …