Abstract Test-Comp 2022 is the 4th edition of Competition on Software Testing. Research competitions are a means to provide annual comparative evaluations. focusses fully automatic software test generators for C programs. The results competition shall be reproducible and an overview current state art in area test-generation. was based 4 236 test-generation tasks Each task consisted program spec...

Objectives: This paper presents a new hybrid ACO-NSA algorithm for the automatic test data generation problem with path coverage as an objective function. Method: In it, at first instance, (detectors) are generated ant colony optimization (ACO), and then set (detector set) has been refined by negative selection (NSA) Hamming distance. Findings: The algorithm’s performance is tested on several b...

In this article, we consider model oriented formal specification languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. Th...