1 citations · 1 across the 1 of their papers we have counts for
1 paper
Sébastien Bardin, Nikolai Kosmatov, François Cheynier
Automatic test data generation (ATG) is a major topic in software engineering. In this paper, we seek to bridge the gap between the coverage criteria supported by symbolic ATG tool…