Back to Results
First PageMeta Content
Software engineering / Computing / Computer programming / Cross-platform software / High-level programming languages / Abstract interpretation / Computer science / Symbolic execution / D / Pure / Concolic testing


Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution
Add to Reading List

Document Date: 2014-07-20 11:22:00


Open Document

File Size: 395,21 KB

Share Result on Facebook
UPDATE