Back to Results
First PageMeta Content
Software engineering / Computer programming / Programming language theory / Abstract interpretation / Symbolic execution / Program analysis / KeY / Disassembler / Pattern matching / Forth / Symbolic / Concolic testing


Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden
Add to Reading List

Document Date: 2016-06-13 11:08:40


Open Document

File Size: 239,85 KB

Share Result on Facebook