59 citations · 188 across the 17 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013
A Combined Approach for Constraints over Finite Domains and Arrays
Sébastien Bardin, Arnaud Gotlieb
Arrays are ubiquitous in the context of software verification. However, effective reasoning over arrays is still rare in CP, as local reasoning is dramatically ill-conditioned for…
cs.SE2013★ 1 cited
Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria
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…