TY  - RPRT
TI  - Efficient Leverage of Symbolic ATG Tools to Advanced Coverage Criteria
AU  - Sébastien Bardin
AU  - Nikolai Kosmatov
AU  - François Cheynier
PY  - 2013
UR  - https://arxiv.org/abs/1308.4045
ID  - 1308.4045
ER  -