Back to Results
First PageMeta Content
Constraint programming / Abstract interpretation / Symbolic execution / Software testing / Reference / Constraint satisfaction problem / Const / Parameter / Concolic testing / Constraint logic programming


Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.
Add to Reading List

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


Open Document

File Size: 164,57 KB

Share Result on Facebook