Sébastien Bardin, Nikolai Kosmatov, François Cheynier. Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria. In IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA. pages 173-182, IEEE, 2014. [doi]
@inproceedings{BardinKC14,
title = {Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria},
author = {Sébastien Bardin and Nikolai Kosmatov and François Cheynier},
year = {2014},
doi = {10.1109/ICST.2014.30},
url = {http://dx.doi.org/10.1109/ICST.2014.30},
researchr = {https://researchr.org/publication/BardinKC14},
cites = {0},
citedby = {0},
pages = {173-182},
booktitle = {IEEE Seventh International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA},
publisher = {IEEE},
isbn = {978-0-7695-5185-2},
}