Systems of computers and their application in the lives of modern human beings are vastly expanding. In any kind of computer application, failure in computer systems can lead to a range of financial and mortal losses. Indeed, the major origin of software failure can be located in designing or implementing software. With regard to these statistics, 30% of the software projects have been prospero...

Software testing is any activity aimed at evaluating an attribute or capability of a program or system and determining that it meets its required results. [Hetzel88] Although crucial to software quality and widely deployed by programmers and testers, software testing still remains an art, due to limited understanding of the principles of software. The difficulty in software testing stems from t...

Software testing is the process of validating and verifying that a software program/application meets that requirement that guide its design and development, work as expected, and can be implemented with same characteristics. Many attempts to obtain software testing based on methods from the field of design of experiments have been recommend as a mean of providing high coverage at relatively lo...

When a program is implemented to provide a concrete representation of an algorithm, the developers of this program are naturally concerned with the correctness and performance of the implementation. Software engineers must ensure that their software systems achieve an appropriate level of quality. Software verification is the process of ensuring that a program meets its intended specification [...

Abstract Tool competitions are a special form of comparative evaluation, where each tool has team developers or supporters associated that makes sure the is properly configured to show its best possible performance. In several research areas, have been driving force for development mature tools represent state art in their field. This paper describes and reports results 1 $$^{\text {st}}$$ <mml...