Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov - Symbolic execution - Document - PDFSEARCH.IO

First Page	Meta Content
	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov Add to Reading List Document Date: 2017-11-15 05:31:12 Open Document File Size: 458,84 KB Share Result on Facebook

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai KosmatovAdd to Reading List