Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria.

Sbastien Bardin, Nikolai Kosmatov, Franois Cheynier

Browse the full ICST paper archive.