Back to Results
First PageMeta Content
Software / Computing / Application software / Functional languages / Cat / Symbolic execution / ARG2 / ARG1 / R


RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008
Add to Reading List

Document Date: 2016-03-08 07:04:46


Open Document

File Size: 688,44 KB

Share Result on Facebook