![Software / Computing / Application software / Functional languages / Cat / Symbolic execution / ARG2 / ARG1 / R Software / Computing / Application software / Functional languages / Cat / Symbolic execution / ARG2 / ARG1 / R](https://www.pdfsearch.io/img/bec75bdeccb7d7ade4527f6e28b245ba.jpg) Date: 2016-03-08 07:04:46Software 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 2008Add to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source Website File Size: 688,44 KBShare Document on Facebook
|