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

Performance optimization continues to be a challenge in modern HPC software. Existing
performance optimization techniques, including profiling-based and auto-tuning techniques …

Context: As one of key tasks in software testing, test data generation has been receiving
widespread attention in recent years. Message-passing Interface (MPI) programs, which are …

The state-of-the-practice in software development is driven by constant change fueled by
continues integration servers. Such constant change demands for frequent and fully …

There is a growing demand for correct parallel programs, mainly due to nowadays
availability of parallel architectures. Structural testing allows identifying defects by analyzing …

Parallel computing is one of mainstream techniques for high-performance computation in
which MPI parallel programs have gained more and more attention. Genetic algorithms …

Software testing is an efficient way to guarantee the reliability and accuracy of parallel
programs. Communication plays a substantial role in parallel program testing. The huge …

Performance optimization continues to be a challenge in modern HPC software. Existing
performance optimization techniques, including profiling-based and auto-tuning techniques …

The testing of concurrent programs is very complex due to the non-determinism present in
those programs. They must be subjected to a systematic testing process that assists in the …

Concurrent software testing is a challenging activity due to factors that are not present in
sequential programs, such as communication, synchronization, and non-determinism, and …