Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov

First Page		Document Content
Date: 2017-11-15 05:31:12		Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov Add to Reading List Source URL: binsec.gforge.inria.fr Download Document from Source Website File Size: 458,84 KB Share Document on Facebook