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]
Abstract is missing.