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...
The current increased demand for distributed applications in domains such as web services and cloud ...
[[abstract]]Software testing is always an important problem during our life, because the big chance ...
peer reviewedAfter four successful JUnit tool competitions, we report on the achievements of a new J...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractThis paper proposes a novel structural test model to capture information about flows of data...
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...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais ...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
Empirical evaluation of verification tools by benchmarking is a common method in software verificati...
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Mult...
The growing use of multicore and networked computing systems is increasing the importance of develop...
This is a post-peer-review, pre-copyedit version. The final authenticated version is available onlin...
Verification and validation is one of the most important concerns in the area of software engineerin...
The current increased demand for distributed applications in domains such as web services and cloud ...
[[abstract]]Software testing is always an important problem during our life, because the big chance ...
peer reviewedAfter four successful JUnit tool competitions, we report on the achievements of a new J...
AbstractThis paper proposes a novel suite of benchmarks for the evaluation of the structural testing...
AbstractThis paper proposes a novel structural test model to capture information about flows of data...
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...
Testing concurrent software is hard due to its non-deterministic behavior. Concurrency bugs triggeri...
O teste de programas concorrentes é uma atividade que envolve diferentes perspectivas. Uma das mais ...
In this work we focus on creating a benchmark suite of concurrent programs for various programming l...
Empirical evaluation of verification tools by benchmarking is a common method in software verificati...
A problem that has been getting prominence in testing is that of looking for intermittent bugs. Mult...
The growing use of multicore and networked computing systems is increasing the importance of develop...
This is a post-peer-review, pre-copyedit version. The final authenticated version is available onlin...
Verification and validation is one of the most important concerns in the area of software engineerin...
The current increased demand for distributed applications in domains such as web services and cloud ...
[[abstract]]Software testing is always an important problem during our life, because the big chance ...
peer reviewedAfter four successful JUnit tool competitions, we report on the achievements of a new J...