Specification languages are an integral part of software development. They enable concise and exact specification of software systems on different abstraction levels. Specification languages have many uses: they are used as an intermediary step from requirements towards implementation; they are used to verify critical properties of complex systems such as safety and liveness, and specifications...

The test cases are generated manually as well as automatically to test software product. Manual test case generation require more time and cost than automatic test case generation. Automated generated test cases decrease the time and cost of testing process. Nowadays software companies are turning towards automated test case generation. After the generation of test cases, there is need to optim...

The techniques for the automatic generation of test cases try to efficiently find a small set of cases that allow a given adequacy criterion to be fulfilled, thus contributing to a reduction in the cost of software testing. In this paper we present and analyze two versions of an approach based on the Scatter Search metaheuristic technique for the automatic generation of software test cases usin...

Mutation based testing is used to discover new possible errors in software applications. This is since in this testing approach, intentional incorrect lines of codes are injected to check the software ability to produce results that are different from the correct or original code. In this paper an automatic technique to generate valid and mutant test cases is proposed and developed. In most mut...

The use of techniques for automating the generation of test scripts is important as it can reduce the time and cost of the process. The recent method for automatic generation of tests using metaheuristic techniques i.e. Genetic Algorithms and Simulated Annealing. There is a great deal of research into the use of Genetic Algorithms to obtain a specific coverage in software testing but none is us...