Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria. - Sébastien Bardin; Nikolai Kosmatov; François Cheynier (CoRR, 2013)

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria. - Sébastien Bardin; Nikolai Kosmatov; François Cheynier (ICST, 2014)