34 citations · 45 across the 15 of their papers we have counts for
1 paper · 1 filter
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…