Back to Results
First PageMeta Content
Electronic design automation / Logic in computer science / NP-complete problems / Abstract interpretation / Symbolic execution / Satisfiability Modulo Theories / Solver / Theoretical computer science / Applied mathematics / Formal methods


Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria
Add to Reading List

Document Date: 2014-04-03 11:43:14


Open Document

File Size: 782,69 KB

Share Result on Facebook
UPDATE