AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing of concurrent programs with message-passing paradigm. This suite is composed of thirteen bug-free programs and five faulty programs. The benchmarks are developed in Java and are available as free-software on the Internet. They were validated with experimental studies and also have been used in different research and for educational aims. The obtained results showed that the benchmarks can generate qualified workload for the testing of message-passing programs. The main contribution of this study is the development of a more robust and fair suite of benchmarks capable of improving the evaluation of the testing activity applied to concurrent p...
Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for t...
The development of Java has seen increasing attention as the most popular platform for distributed c...
Abstract—Java is a valuable and emerging alternative for the development of parallel applications, t...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractConcurrent program testing is not a trivial task. Features like nondeterminism, communicatio...
Developing high-quality, error-free message-passing concurrent programs is not trivial. Although a n...
AbstractThis paper proposes a novel structural test model to capture information about flows of data...
Verification and validation is one of the most important concerns in the area of software engineerin...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
[[abstract]]In this thesis, we study how to apply the dynamic effective testing to Java programs whi...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
[[abstract]]Software testing is always an important problem during our life, because the big chance ...
The thesis analyses the profitability of doing automated testing on web applications. It starts with...
Abstract. Active testing has recently been introduced to effectively test concurrent programs. Activ...
Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for t...
The development of Java has seen increasing attention as the most popular platform for distributed c...
Abstract—Java is a valuable and emerging alternative for the development of parallel applications, t...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractConcurrent program testing is not a trivial task. Features like nondeterminism, communicatio...
Developing high-quality, error-free message-passing concurrent programs is not trivial. Although a n...
AbstractThis paper proposes a novel structural test model to capture information about flows of data...
Verification and validation is one of the most important concerns in the area of software engineerin...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
[[abstract]]In this thesis, we study how to apply the dynamic effective testing to Java programs whi...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
Mainstream programming is migrating to concurrent archi-tectures to improve performance and facilita...
[[abstract]]Software testing is always an important problem during our life, because the big chance ...
The thesis analyses the profitability of doing automated testing on web applications. It starts with...
Abstract. Active testing has recently been introduced to effectively test concurrent programs. Activ...
Java makes easier the coding phase of concurrent applications and provides friendly mechanisms for t...
The development of Java has seen increasing attention as the most popular platform for distributed c...
Abstract—Java is a valuable and emerging alternative for the development of parallel applications, t...