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

First Page		Document Content
Date: 2014-11-14 04:29:28		Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ⋆ S´ebastien Bardin Nikolai Kosmatov Add to Reading List Source URL: www.stance-project.eu Download Document from Source Website File Size: 312,20 KB Share Document on Facebook