Abstract
The testing of concurrent programs is essential to ensure quality for current distributed and parallel applications under development. Although essential, this testing activity is not used properly, due to factors such as high cost of execution, large gap between industry and academy results and access to tools to automate the testing. This project aims to define the parameters related to…