Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"Conflict-driven Learning"”.
-
An Efficient 2-Phase Strategy to Achieve High Branch Coverage
… We present a new 2-phase symbolic execution driven strategy that achieves high branch coverage in software quickly. Phase 1 follows a greedy approach that quickly covers as many branches as possible by exploring each branch through its corresponding shortest path prefix. Phase 2 covers the …
-
Partitioning Strategies to Enhance Symbolic Execution
… speedup can be achieved in large programs over conflict-driven learning.
-
Exploring Constraint Satisfiability Techniques in Formal Verification
… is attempted that takes advantage of the conflicts in the SAT search, which plays a critical role in modern SAT solvers. Usually a learned conflict-induced clause is added back to the clause database. Although conflict-induced clauses help to block a portion of the search space, they can …